diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-07-05 14:48:26 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-07-05 14:49:07 -0400 |
| commit | 499717756f010eb6796747a74f948454ad17c061 (patch) | |
| tree | 1bf6b4ad861798f46175684e4c52de33e9a08066 /distrib | |
| parent | 555e5cc48b6c2608ae8d4bd3b2a5bd2ef63236ab (diff) | |
| download | haskell-499717756f010eb6796747a74f948454ad17c061.tar.gz | |
mkDocs: Don't install *.ps
We now longer produce PostScript output.
Diffstat (limited to 'distrib')
| -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 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 |