blob: 82eb3c65dee52a150f8f49c9e3576ea9c1d86a14 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
import System.Cmd
import System.Environment
import System.FilePath
import System.Exit
import System.Directory
import Data.List
import Control.Monad
import Control.Applicative
main = do
args <- getArgs
dir <- getCurrentDirectory
contents <- filter (`notElem` ignore) <$> getDirectoryContents (dir </> "output")
if not $ null args
then
mapM_ copy [ "output" </> file | file <- contents, ".html" `isSuffixOf` file, takeBaseName file `elem` args ]
else
mapM_ copy [ "output" </> file | file <- contents, ".html" `isSuffixOf` file ]
where
ignore = [
"doc-index.html"
, "index-frames.html"
, "index.html"
]
copy file = do
let new = "ref" </> takeFileName file
print file
print new
contents <- readFile file
writeFile new (stripLinks contents)
stripLinks str =
let prefix = "<a href=\"" in
case stripPrefix prefix str of
Just str' -> prefix ++ stripLinks (dropWhile (/= '"') str')
Nothing ->
case str of
[] -> []
x : xs -> x : stripLinks xs
|
