mkDocs: Don't install *.ps
authorBen Gamari <ben@smart-cactus.org>
Wed, 5 Jul 2017 18:48:26 +0000 (14:48 -0400)
committerBen Gamari <ben@smart-cactus.org>
Wed, 5 Jul 2017 18:49:07 +0000 (14:49 -0400)
We now longer produce PostScript output.

distrib/mkDocs/mkDocs

index fbb0a6f..d185b43 100755 (executable)
@@ -40,7 +40,7 @@ do
 done
 mv index.html ../../../../..
 cd ..
-mv *.pdf *.ps ../../../..
+mv *.pdf ../../../..
 cd ../../../..
 [ "$NO_CLEAN" -eq 0 ] && rm -r inst
 [ "$NO_CLEAN" -eq 0 ] && rm -r windows