forked from GitHub/gf-rgl
tutorial exercises; put libdir in place in GF/src
This commit is contained in:
@@ -44,6 +44,7 @@ main = do
|
|||||||
space
|
space
|
||||||
let format = if isLatex then "tex" else "html"
|
let format = if isLatex then "tex" else "html"
|
||||||
system $ "txt2tags -t" ++ format ++ " --toc " ++ synopsis
|
system $ "txt2tags -t" ++ format ++ " --toc " ++ synopsis
|
||||||
|
if isLatex then (system $ "pdflatex synopsis.tex") >> return () else return ()
|
||||||
|
|
||||||
getCats isLatex isBeg file = do
|
getCats isLatex isBeg file = do
|
||||||
ss <- readFile file >>= return . lines
|
ss <- readFile file >>= return . lines
|
||||||
|
|||||||
Reference in New Issue
Block a user