remove indent from page comments

[c-standard] / ann2html.sh

diff --git a/ann2html.sh b/ann2html.sh
index 6fea593..3e2e176 100755 (executable)
--- a/ann2html.sh
+++ b/ann2html.sh
@@ -148,13 +148,12 @@ seencontents && !seenfore && /^[^@]/ {
        nn = 0
        p = $2
        getline
-       i = $2
-       ss[sid] = ss[sid] "<!--page " p " indent " i "-->\n"
+       ss[sid] = ss[sid] "<!--page " p " -->\n"
        next
 }
 
 /^@para/ {
-       ss[sid] = ss[sid] "<p><!--para " $2 "-->\n"
+       ss[sid] = ss[sid] "<p><!--para " $2 " -->\n"
        next
 }