From 3618a637f5bf468b53554fdbdc6b38eff652a966 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 4 Jul 2007 14:10:41 +0000 Subject: [PATCH] tutorial exercises; put libdir in place in GF/src --- resource-1.0/doc/MkSynopsis.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/resource-1.0/doc/MkSynopsis.hs b/resource-1.0/doc/MkSynopsis.hs index 2af3e9fbe..2b040caf7 100644 --- a/resource-1.0/doc/MkSynopsis.hs +++ b/resource-1.0/doc/MkSynopsis.hs @@ -44,6 +44,7 @@ main = do space let format = if isLatex then "tex" else "html" system $ "txt2tags -t" ++ format ++ " --toc " ++ synopsis + if isLatex then (system $ "pdflatex synopsis.tex") >> return () else return () getCats isLatex isBeg file = do ss <- readFile file >>= return . lines