diff options
author | Gregor Kleen <gkleen@praseodym.org> | 2015-03-12 16:22:27 +0000 |
---|---|---|
committer | Gregor Kleen <gkleen@praseodym.org> | 2015-03-12 16:22:27 +0000 |
commit | d056680ca54b766b25635cf6afb7d305370209dd (patch) | |
tree | 8d3d3b67b896092081f13a9b4bd3ad26fb7ca939 /build | |
parent | d99fdd1128468c618d1de7cc7b3f578498eccbe5 (diff) | |
download | dirty-haskell.org-d056680ca54b766b25635cf6afb7d305370209dd.tar dirty-haskell.org-d056680ca54b766b25635cf6afb7d305370209dd.tar.gz dirty-haskell.org-d056680ca54b766b25635cf6afb7d305370209dd.tar.bz2 dirty-haskell.org-d056680ca54b766b25635cf6afb7d305370209dd.tar.xz dirty-haskell.org-d056680ca54b766b25635cf6afb7d305370209dd.zip |
More -changes- dirty hacks for cabal sandboxing
Diffstat (limited to 'build')
-rwxr-xr-x | build/extract-title.hs | 2 | ||||
-rwxr-xr-x | build/tex-filter.hs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/build/extract-title.hs b/build/extract-title.hs index f3ca1ba..a84442e 100755 --- a/build/extract-title.hs +++ b/build/extract-title.hs | |||
@@ -5,7 +5,7 @@ import Text.Pandoc.JSON | |||
5 | import System.IO | 5 | import System.IO |
6 | 6 | ||
7 | extract_title :: Pandoc -> IO Pandoc | 7 | extract_title :: Pandoc -> IO Pandoc |
8 | extract_title d@(Pandoc m _) = do hPutStrLn stderr $ render Nothing $ cat $ map pretty (docTitle m) | 8 | extract_title d@(Pandoc m _) = do hPutStrLn stderr $ (++) "title: " $ render Nothing $ cat $ map pretty (docTitle m) |
9 | return d | 9 | return d |
10 | where pretty :: Inline -> Doc | 10 | where pretty :: Inline -> Doc |
11 | pretty (Str s) = text s | 11 | pretty (Str s) = text s |
diff --git a/build/tex-filter.hs b/build/tex-filter.hs index 5d11f07..1e2face 100755 --- a/build/tex-filter.hs +++ b/build/tex-filter.hs | |||
@@ -47,7 +47,7 @@ compileToSVG basepath t s = let tex = Data.Text.unpack $ Data.Text.strip $ Data. | |||
47 | (do writeFile expr_path $ (display t) ++ tex | 47 | (do writeFile expr_path $ (display t) ++ tex |
48 | writeFile align_path "0") | 48 | writeFile align_path "0") |
49 | alignment <- head.lines <$> readFile align_path | 49 | alignment <- head.lines <$> readFile align_path |
50 | SIO.hPutStrLn SIO.stderr path | 50 | SIO.hPutStrLn SIO.stdout path |
51 | return $ printf "<object data=\"/%s\" type=\"image/svg+xml\" style=\"vertical-align:-%s\">%s</object>" svg_web_path alignment tex | 51 | return $ printf "<object data=\"/%s\" type=\"image/svg+xml\" style=\"vertical-align:-%s\">%s</object>" svg_web_path alignment tex |
52 | 52 | ||
53 | texify :: [String] -> Inline -> IO Inline | 53 | texify :: [String] -> Inline -> IO Inline |