summaryrefslogtreecommitdiff
path: root/src/tools
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-01-10 15:39:20 +0000
committeraarne <aarne@cs.chalmers.se>2006-01-10 15:39:20 +0000
commit7752543f042b555bc87d57c3c3dcbfb15f2132c3 (patch)
tree5dcd23a8985b919d5d1d0cb2e524681fe54d64e6 /src/tools
parent59c4536d5e946518b4c2fb1595f89fbc6601dcec (diff)
API documentation and slight change in Det syntax
Diffstat (limited to 'src/tools')
-rw-r--r--src/tools/GFDoc.hs2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/tools/GFDoc.hs b/src/tools/GFDoc.hs
index bc5bc999c..ee66d4974 100644
--- a/src/tools/GFDoc.hs
+++ b/src/tools/GFDoc.hs
@@ -280,7 +280,6 @@ doc2txt :: Doc -> String
doc2txt (Doc title paras) = unlines $
let tit = concat (map item2txt title) in
tit:
- "Author: ":
"Last update: %%date(%c)":
"% NOTE: this is a txt2tags file.":
"% Create an html file from this file using:":
@@ -288,7 +287,6 @@ doc2txt (Doc title paras) = unlines $
"\n":
concat (["Produced by " ++ welcome]) :
"\n" :
- concat (tagTxt "=" [tit]) :
empty :
map para2txt paras