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