From ae075acf52f2a1ce820deb0b4ac8a5e0e6080773 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 22 Oct 2007 23:16:26 +0000
Subject: 	* c-doc.boot.pamphlet (escapePercent): New. 
 (transformAndRecheckComments): Use it.

---
 src/interp/c-doc.boot.pamphlet | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

(limited to 'src/interp/c-doc.boot.pamphlet')

diff --git a/src/interp/c-doc.boot.pamphlet b/src/interp/c-doc.boot.pamphlet
index d1d0949c..e697614b 100644
--- a/src/interp/c-doc.boot.pamphlet
+++ b/src/interp/c-doc.boot.pamphlet
@@ -270,13 +270,25 @@ checkExtractItemList l ==  --items are separated by commas or end of line
 --      if (t := trimString SUBSTRING(string,i,k-i)) ^= '"" then acc := [t,:acc]
 --    acc
 
+++ Translate '%' in signature to '%%' for proper printing.
+escapePercent x ==
+  x is [y, :z] =>
+    y1 := escapePercent y
+    z1 := escapePercent z
+    EQ(y, y1) and EQ(z, z1) => x
+    [y1, :z1]
+  x = "%" => "%%"
+  x
+
 transformAndRecheckComments(name,lines) ==
   $checkingXmptex? := false
   $x            : local := name
   $name         : local := 'GlossaryPage
   $origin       : local := 'gloss
   $recheckingFlag : local := false
-  $exposeFlagHeading : local := ['"--------",name,'"---------"]
+  $exposeFlagHeading : local := 
+    atom name => ['"     -- ",name]
+    concat('"     --",formatOpSignature(name.0, escapePercent name.1))
   if null $exposeFlag then sayBrightly $exposeFlagHeading
   u := checkComments(name,lines)
   $recheckingFlag := true
-- 
cgit v1.2.3