diff options
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 e06ea6ac23..fbb0a6f67a 100755 --- a/distrib/mkDocs/mkDocs +++ b/distrib/mkDocs/mkDocs @@ -30,7 +30,7 @@ cd .. [ "$NO_CLEAN" -eq 0 ] && rm -r linux tar -Jxf "$WINDOWS_BINDIST" mv ghc* windows -cd inst/share/doc/ghc/html/libraries +cd inst/share/doc/ghc*/html/libraries mv ../../../../../../windows/doc/html/libraries/Win32-* . sh gen_contents_index cd .. |