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)
commit499717756f010eb6796747a74f948454ad17c061
tree1bf6b4ad861798f46175684e4c52de33e9a08066
parent555e5cc48b6c2608ae8d4bd3b2a5bd2ef63236ab
mkDocs: Don't install *.ps

We now longer produce PostScript output.
distrib/mkDocs/mkDocs