From 30f90d707a3fa271bdd468ac7071faa79dd80ce1 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Sat, 20 Jun 2009 07:02:13 +0000
Subject: [PATCH] function for printing the help file in txt2tags

---
 src/GF/Command/Commands.hs | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/src/GF/Command/Commands.hs b/src/GF/Command/Commands.hs
index 7ea046cbb..a85602b1d 100644
--- a/src/GF/Command/Commands.hs
+++ b/src/GF/Command/Commands.hs
@@ -85,6 +85,27 @@ commandHelp full (co,info) = unlines $ [
   "examples:" ++++ unlines ["  " ++ s | s <- examples info]
   ] else []
 
+-- for printing with txt2tags formatting
+
+commandHelpTags :: Bool -> (String,CommandInfo) -> String
+commandHelpTags full (co,info) = unlines $ [
+  "#VSPACE","","#NOINDENT",
+  lit co ++ " = " ++ lit (longname info) ++ ": " ++
+  "//" ++ synopsis info ++ ".//"] ++ if full then [
+  "","#TINY","",
+  explanation info,
+  "- Syntax: ``" ++ syntax info ++ "``",
+  "- Options:\n" ++++ 
+   unlines [" | ``-" ++ o ++ "`` | " ++ e | (o,e) <- options info],
+  "- Flags:\n" ++++ 
+   unlines [" | ``-" ++ o ++ "`` | " ++ e | (o,e) <- flags info],
+  "- Examples:\n```" ++++ 
+   unlines ["  " ++ s | s <- examples info],
+  "```",
+  "", "#NORMAL", ""
+  ] else []
+ where
+   lit s = "``" ++ s ++ "``"
 
 type PGFEnv = (PGF, Map.Map Language Morpho)