From 7752543f042b555bc87d57c3c3dcbfb15f2132c3 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 10 Jan 2006 15:39:20 +0000 Subject: [PATCH] API documentation and slight change in Det syntax --- src/tools/GFDoc.hs | 2 -- 1 file changed, 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