*** empty log message ***

diff --git a/utils/latex.sh b/utils/latex.sh
index c2b7713..b1a6f50 100755 (executable)
--- a/utils/latex.sh
+++ b/utils/latex.sh
@@ -41,3 +41,4 @@ if [ "${USR_JA_DEV}" = "ja" ] ; then
 fi
 makeindex ${SOURCE}.idx
 ${LATEX} ${SOURCE}.tex
+${LATEX} ${SOURCE}.tex