Index: trunk/doc/modules/Makefile
===================================================================
--- trunk/doc/modules/Makefile	(revision 5376)
+++ trunk/doc/modules/Makefile	(revision 5709)
@@ -1,3 +1,3 @@
-# $Id: Makefile,v 1.6 2005-10-19 03:23:51 eugene Exp $
+# $Id: Makefile,v 1.7 2005-12-06 19:48:26 eugene Exp $
 
 PDFLATEX = env TEXINPUTS=../../latex/inputs:$(TEXINPUTS):.: pdflatex
@@ -25,4 +25,7 @@
 %.pdf: %.tex
 	$(PSLATEX) $*.tex 
+	dvips -z -t letter -o $*.ps $*.dvi
+	ps2pdf $*.ps $*.pdf
+	thumbpdf --modes=dvips $*.pdf
 	$(PSLATEX) $*.tex 
 	dvips -z -t letter -o $*.ps $*.dvi