1
0
mirror of https://git.savannah.gnu.org/git/emacs.git synced 2024-12-02 08:22:22 +00:00

Fix the same problem as described on ebnf2ps.el log

entry.  Doc fix.
(ebnf-bnf-lex): Code fix.
(ebnf-bnf-comment-chars): Const fix.
This commit is contained in:
Gerd Moellmann 2000-12-21 21:22:51 +00:00
parent 6a5275dc6d
commit b1f380ecb4

View File

@ -5,8 +5,8 @@
;; Author: Vinicius Jose Latorre <vinicius@cpqd.com.br>
;; Maintainer: Vinicius Jose Latorre <vinicius@cpqd.com.br>
;; Keywords: wp, ebnf, PostScript
;; Time-stamp: <99/11/20 18:05:05 vinicius>
;; Version: 1.4
;; Time-stamp: <2000/12/19 15:29:04 vinicius>
;; Version: 1.5
;; This file is part of GNU Emacs.
@ -467,8 +467,10 @@ See documentation for variable `ebnf-bnf-lex'."
'terminal)
;; non-terminal or terminal
((eq token 'non-terminal)
;; replace the range "\240-\377" (see `ebnf-range-regexp').
(setq ebnf-bnf-lex (ebnf-buffer-substring
"!#%&'*-,0-:<>@-Z\\^-z~\240-\377"))
(ebnf-range-regexp "!#%&'*-,0-:<>@-Z\\^-z~"
?\240 ?\377)))
(let ((case-fold-search ebnf-case-fold-search)
match)
(if (and ebnf-terminal-regexp
@ -505,7 +507,9 @@ See documentation for variable `ebnf-bnf-lex'."
))))
(defconst ebnf-bnf-comment-chars "^\n\000-\010\016-\037\177-\237")
;; replace the range "\177-\237" (see `ebnf-range-regexp').
(defconst ebnf-bnf-comment-chars
(ebnf-range-regexp "^\n\000-\010\016-\037" ?\177 ?\237))
(defun ebnf-bnf-skip-comment ()