From 499717756f010eb6796747a74f948454ad17c061 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Wed, 5 Jul 2017 14:48:26 -0400
Subject: mkDocs: Don't install *.ps

We now longer produce PostScript output.
---
 distrib/mkDocs/mkDocs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'distrib/mkDocs')

diff --git a/distrib/mkDocs/mkDocs b/distrib/mkDocs/mkDocs
index fbb0a6f67a..d185b43e61 100755
--- a/distrib/mkDocs/mkDocs
+++ b/distrib/mkDocs/mkDocs
@@ -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
-- 
cgit v1.2.1