H1 { text-align: center}
-code { text-decoration: none; font-weight: normal; font-family: monospace}
+code { text-decoration: none; font-weight: normal; font-family: monospace; font-size; 125%}
A.qindex {}
A.qindexRef {color: fuchsia}
A.el { text-decoration: none; font-weight: bold }
--- /dev/null
+#!/bin/sh
+# $1: target directory (usr/latex, ja/latex, or dev/latex)
+# $2: latex commnad (latex, platex, or pdflatex)
+
+umask 002
+USR_JA_DEV=`dirname $1`
+TEXINPUTS=`pwd`/styles:`pwd`/data-${USR_JA_DEV}:.:
+export TEXINPUTS
+cd $1
+LATEX=$2
+PAPER='-t a4'
+${LATEX} m17n-lib.tex
+if [ "${USR_JA_DEV}" = "ja" ] ; then
+ nkf -e < m17n-lib.idx > temp.idx; mv temp.idx m17n-lib.idx
+fi
+makeindex m17n-lib.idx
+${LATEX} m17n-lib.tex
+if [ "$LATEX" != "pdflatex" ] ; then
+ dvips ${PAPER} -o m17n-lib.ps m17n-lib.dvi
+fi