comparison doc/interpreter/munge-texi.pl @ 17242:3f4091dddc13

doc: Update doc cache delimiter to work with Texinfo 5.0 (bug #39778) * doc/interpreter/mk_doc_cache.m: Change doc delimiter to ASCII 30 (record separator) because Texinfo 5.0 uses ASCII 31 (unit separator). Use hexadecimal representation for consistency with other scripts. * libinterp/corefcn/help.cc (install_built_in_docstrings): Change doc delimiter to ASCII 30 (record separator). * doc/interpreter/munge-texi.pl, libinterp/gendoc.pl, scripts/mkdoc.pl: Change doc delimiter to ASCII 30 (record separator). Use hexadecimal escape sequence for consistency and to avoid using literal control characters.
author Mike Miller <mtmiller@ieee.org>
date Tue, 13 Aug 2013 23:42:30 -0400
parents e7a059a9a644
children ee1d19174316
comparison
equal deleted inserted replaced
17241:03a666018e0f 17242:3f4091dddc13
4 die "usage: munge-texi TOP-SRCDIR DOCSTRING-FILE < file" if (@ARGV < 2); 4 die "usage: munge-texi TOP-SRCDIR DOCSTRING-FILE < file" if (@ARGV < 2);
5 5
6 $top_srcdir = shift (@ARGV); 6 $top_srcdir = shift (@ARGV);
7 7
8 # Constant patterns 8 # Constant patterns
9 $doc_delim = qr/^\c_/; 9 $doc_delim = qr/^\x{1e}/;
10 $tex_delim = qr/\Q-*- texinfo -*-\E/; 10 $tex_delim = qr/\Q-*- texinfo -*-\E/;
11 $comment_line = qr/^\s*(?:$|#)/; 11 $comment_line = qr/^\s*(?:$|#)/;
12 # Pre-declare hash size for efficiency 12 # Pre-declare hash size for efficiency
13 keys(%help_text) = 1800; 13 keys(%help_text) = 1800;
14 14