diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-07-05 18:48:26 (GMT) |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-07-05 18:49:07 (GMT) |
| commit | 499717756f010eb6796747a74f948454ad17c061 (patch) | |
| tree | 1bf6b4ad861798f46175684e4c52de33e9a08066 | |
| parent | 555e5cc48b6c2608ae8d4bd3b2a5bd2ef63236ab (diff) | |
| download | ghc-499717756f010eb6796747a74f948454ad17c061.zip ghc-499717756f010eb6796747a74f948454ad17c061.tar.gz ghc-499717756f010eb6796747a74f948454ad17c061.tar.bz2 | |
mkDocs: Don't install *.ps
We now longer produce PostScript output.
| -rwxr-xr-x | distrib/mkDocs/mkDocs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/distrib/mkDocs/mkDocs b/distrib/mkDocs/mkDocs index fbb0a6f..d185b43 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 |