diff options
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/mkDocs/mkDocs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/distrib/mkDocs/mkDocs b/distrib/mkDocs/mkDocs index 07faa3d647..4d030a5005 100644 --- a/distrib/mkDocs/mkDocs +++ b/distrib/mkDocs/mkDocs @@ -25,7 +25,7 @@ cd inst/share/doc/ghc/html/libraries mv ../../../../../../../windows/doc/html/libraries/Win32-* . sh gen_contents_index cd .. -for i in Cabal haddock libraries users_guide +for i in haddock libraries users_guide do tar -jcf ../../../../../../$i.html.tar.bz2 $i done |