* guile-snarf.awk.in: Replace docstring line-ending \n" and \n\n"
authorGreg J. Badros <gjb@cs.washington.edu>
Wed, 15 Mar 2000 16:09:58 +0000 (16:09 +0000)
committerGreg J. Badros <gjb@cs.washington.edu>
Wed, 15 Mar 2000 16:09:58 +0000 (16:09 +0000)
with nothing and \n, respectively. Thanks Keisuke Nishida for
noticing this problem.

libguile/guile-snarf.awk.in

index e99ed18..9cadd04 100644 (file)
@@ -56,7 +56,9 @@ BEGIN { FS="|";
                       gsub(/.*@@@/,"",copy); 
                      sub(/^[ \t]*"?/,"", copy);
                      sub(/\"?[ \t]*@!!!.*$/,"", copy);
-                      gsub(/\\\"/,"\"",copy);
+                      gsub(/\\n\\n"?/,"\n",copy);
+                      gsub(/\\n"?[ \t]*$/,"",copy);
+                      gsub(/\\\"[ \t]*$/,"\"",copy);
                       gsub(/[ \t]*$/,"", copy);
                       if (copy != "") { print copy > dot_doc_file }
                 }