Mercurial > emacs
comparison lisp/progmodes/ebnf2ps.el @ 54192:20bee085cbee
Doc fix.
author | Vinicius Jose Latorre <viniciusjl@ig.com.br> |
---|---|
date | Sat, 28 Feb 2004 22:22:38 +0000 |
parents | 9e9c096c2efc |
children | 1d368b60d965 |
comparison
equal
deleted
inserted
replaced
54191:9e9c096c2efc | 54192:20bee085cbee |
---|---|
3 ;; Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004 | 3 ;; Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004 |
4 ;; Free Software Foundation, Inc. | 4 ;; Free Software Foundation, Inc. |
5 | 5 |
6 ;; Author: Vinicius Jose Latorre <viniciusjl@ig.com.br> | 6 ;; Author: Vinicius Jose Latorre <viniciusjl@ig.com.br> |
7 ;; Maintainer: Vinicius Jose Latorre <viniciusjl@ig.com.br> | 7 ;; Maintainer: Vinicius Jose Latorre <viniciusjl@ig.com.br> |
8 ;; Time-stamp: <2004/02/28 19:06:58 vinicius> | 8 ;; Time-stamp: <2004/02/28 19:18:57 vinicius> |
9 ;; Keywords: wp, ebnf, PostScript | 9 ;; Keywords: wp, ebnf, PostScript |
10 ;; Version: 4.0 | 10 ;; Version: 4.0 |
11 ;; X-URL: http://www.cpqd.com.br/~vinicius/emacs/ | 11 ;; X-URL: http://www.cpqd.com.br/~vinicius/emacs/ |
12 | 12 |
13 ;; This file is part of GNU Emacs. | 13 ;; This file is part of GNU Emacs. |
2089 ;;;###autoload | 2089 ;;;###autoload |
2090 (defun ebnf-syntax-file (file &optional do-not-kill-buffer-when-done) | 2090 (defun ebnf-syntax-file (file &optional do-not-kill-buffer-when-done) |
2091 "Does a syntactic analysis of the FILE. | 2091 "Does a syntactic analysis of the FILE. |
2092 | 2092 |
2093 If optional arg DO-NOT-KILL-BUFFER-WHEN-DONE is non-nil, the buffer isn't | 2093 If optional arg DO-NOT-KILL-BUFFER-WHEN-DONE is non-nil, the buffer isn't |
2094 killed after SYNTAX generation. | 2094 killed after syntax checking. |
2095 | 2095 |
2096 See also `ebnf-syntax-buffer'." | 2096 See also `ebnf-syntax-buffer'." |
2097 (interactive "fEBNF file to check syntax: ") | 2097 (interactive "fEBNF file to check syntax: ") |
2098 (ebnf-file 'ebnf-syntax-buffer file do-not-kill-buffer-when-done)) | 2098 (ebnf-file 'ebnf-syntax-buffer file do-not-kill-buffer-when-done)) |
2099 | 2099 |