diff options
| author | krasimir <unknown> | 2004-07-27 23:05:21 +0000 |
|---|---|---|
| committer | krasimir <unknown> | 2004-07-27 23:05:21 +0000 |
| commit | a5f1be23a47af7e12aff58a335d33fe184fa4cd0 (patch) | |
| tree | 8f60d0a14d06fb3a609409938e00e035bcabc51a /src/HaddockHH2.hs | |
| parent | d515d0c28bd03f9291d22ab16887142dc56a47e7 (diff) | |
[haddock @ 2004-07-27 23:05:21 by krasimir]
Add jsFile, plusFile and minusFile to the file list
Diffstat (limited to 'src/HaddockHH2.hs')
| -rw-r--r-- | src/HaddockHH2.hs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/HaddockHH2.hs b/src/HaddockHH2.hs index f621e118..1e4de522 100644 --- a/src/HaddockHH2.hs +++ b/src/HaddockHH2.hs @@ -114,8 +114,11 @@ ppHH2Files odir package ifaces = do text "<File Url=\"index.html\"/>" $$
text "<File Url=\"doc-index.html\"/>" $$
ppIndexFiles chars $$
- text "<File Url=\""<>text iconFile<>text "\"/>" $$
- text "<File Url=\""<>text cssFile<>text "\"/>") $$
+ text "<File Url=\""<>text cssFile <>text "\"/>") $$
+ text "<File Url=\""<>text iconFile <>text "\"/>" $$
+ text "<File Url=\""<>text jsFile <>text "\"/>" $$
+ text "<File Url=\""<>text plusFile <>text "\"/>" $$
+ text "<File Url=\""<>text minusFile<>text "\"/>" $$
text "</HelpFileList>"
writeFile (odir ++ pathSeparator:filesHH2File) (render doc) where |