diff options
| author | aarne <unknown> | 2003-11-25 06:33:23 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-25 06:33:23 +0000 |
| commit | 42c4ef025cf4bd0d4086c62020eb09af6e1754f7 (patch) | |
| tree | c331f1e72454a77549aaf7c4ac7fe4606e365801 /src/tools | |
| parent | 9cd2c273a273ded21c637908f2dfd3c07e785f36 (diff) | |
Fixer a nbug in >>RenameS: ----------------------------------------------------------------------
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/GFDoc.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/GFDoc.hs b/src/tools/GFDoc.hs index 7b90c2504..0f5143f57 100644 --- a/src/tools/GFDoc.hs +++ b/src/tools/GFDoc.hs @@ -194,7 +194,7 @@ doc2latex (Doc title paras) = unlines $ para2latex :: Paragraph -> String para2latex p = case p of Text its -> concat (map item2latex its) - Item its -> "$\\bullet$" ++ concat (map item2latex its) + Item its -> "\n\n$\\bullet$" ++ concat (map item2latex its) ++ "\n\n" Code s -> unlines $ envLatex "verbatim" $ map (indent 2) $ remEmptyLines $ lines $ s New -> "\n" |