diff options
author | David Waern <david.waern@gmail.com> | 2010-12-06 14:18:27 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2010-12-06 14:18:27 +0000 |
commit | ce273cedeb8306ca15d81ab46316c4955d41e75f (patch) | |
tree | 35041387ea5d6d65e08a94890abb0f6fb0e0d00c /src | |
parent | 2e3080bf8ade686dc6cbad8e12ee45675ebae6d7 (diff) |
Wibble
Diffstat (limited to 'src')
-rw-r--r-- | src/Main.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Main.hs b/src/Main.hs index 9d056efe..defccdc6 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -245,6 +245,7 @@ render flags ifaces installedIfaces srcMap = do ppLaTeX title pkgStr visibleIfaces odir prologue opt_latex_style libDir + ------------------------------------------------------------------------------- -- * Reading and dumping interface files ------------------------------------------------------------------------------- |