Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision af5cfad6d604122360cdd6be98c68b22dca86ffd)
+++ doc/user/Makefile	(revision cdd25ef9f6abfd796a8899f9682eff0e020a1453)
@@ -60,6 +60,6 @@
 	dvips ${Build}/$< -o $@
 
-${BASE}.dvi : Makefile ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} \
-		${Macros}/common.sty ${Macros}/lstlang.sty ${Macros}/indexstyle ../bibliography/pl.bib build/version | ${Build}
+${BASE}.dvi : Makefile ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ${Macros}/common.tex ${Macros}/common.sty \
+		${Macros}/lstlang.sty ${Macros}/indexstyle ../bibliography/pl.bib build/version | ${Build}
 	# Conditionally create an empty *.ind (index) file for inclusion until makeindex is run.
 	if [ ! -r ${basename $@}.ind ] ; then touch ${Build}/${basename $@}.ind ; fi
@@ -73,5 +73,5 @@
 	makeindex -s ${Macros}/indexstyle ${Build}/${basename $@}.idx
 	# Run again to finish citations
-	${LaTeX} ${basename $@}.tex
+#	${LaTeX} ${basename $@}.tex
 	# Run again to get index title into table of contents
 #	${LaTeX} ${basename $@}.tex