# HG changeset patch # User John W. Eaton # Date 1469454568 14400 # Node ID 2258495e864a64d936d9c421a2fcc428cf273ad3 # Parent 8358b9ef5def18c1d37837accb5ad21a302a0a20 * mk-doc-cache.pl: Fix substitutions to escape block comment markers. diff -r 8358b9ef5def -r 2258495e864a doc/interpreter/mk-doc-cache.pl --- a/doc/interpreter/mk-doc-cache.pl Sun Jul 24 12:51:12 2016 -0400 +++ b/doc/interpreter/mk-doc-cache.pl Mon Jul 25 09:49:28 2016 -0400 @@ -31,6 +31,8 @@ $output_file = shift (@ARGV); $top_srcdir = shift (@ARGV); +$amp = "@"; + ## Constant patterns. $doc_delim = "\x{1d}"; @@ -83,7 +85,8 @@ ## Escapes for symbol names. - s/$doc_delim_pat(([#%]|)[{}]|@)/$doc_delim@$1/; + s/$doc_delim_pat([{}@])/$doc_delim$amp$1/; + s/$doc_delim_pat([#%])([{}])/$doc_delim$1$amp$2/; $text .= $_; } } @@ -91,7 +94,7 @@ $text .= $doc_delim; -($fh, $file) = tempfile (UNLINK => 1); +($fh, $file) = tempfile (); print $fh "$text"; close ($fh);