diff --git a/libguile/guile-snarf.awk.in b/libguile/guile-snarf.awk.in index e99ed18f8..9cadd0440 100644 --- a/libguile/guile-snarf.awk.in +++ b/libguile/guile-snarf.awk.in @@ -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 } }