diff --git a/doc/makefile b/doc/makefile index a5ebb6f..2adba2c 100644 --- a/doc/makefile +++ b/doc/makefile @@ -17,6 +17,7 @@ docdvi: tommath.src cd pics ; MAKE=${MAKE} ${MAKE} echo "hello" ${silent_stdout} perl booker.pl + touch tommath.ind latex tommath ${silent_stdout} latex tommath ${silent_stdout} makeindex tommath