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 |
