Admin/makedist

 
 
 # make docs
 
 cd $DISTBASE/$DISTNAME/Doc
+PDFLATEX=$(type -path pdflatex)
 
 for DOC in $(cat Contents)
 do
   cd $DOC
-  make dist
+  make dvi
+  [ -n "$PDFLATEX" ] && make clean pdf
   cd ..
 done
 
 
 # prepare dist dir for release
 
 cd $DISTBASE/$DISTNAME
 
-find Doc \( -type f -a \( -name \*.dvi -o -name \*.eps -o -name \*.ps \) \) \
-  -exec mv -f {} Distribution/doc \;
+MOVE=$(find Doc \( -type f -a \( -name \*.dvi -o -name \*.eps -o -name \*.ps -o -name \*.pdf \) \) \
+  | grep -v 'gfx/.*pdf')
+mv -f $MOVE Distribution/doc
 rm Distribution/doc/Isa-logics.eps
 cp Admin/index.html $DISTBASE
 rm -rf Admin Doc
 
 mkdir src