Mercurial > emacs
annotate lisp/informat.el @ 22681:127d903d615a
(Ffile_regular_p) [WINDOWSNT]: Bind
`w32-get-true-file-attributes' to t while calling stat.
(Finsert_file_contents) [WINDOWSNT]: Likewise.
(Fwrite_region): Don't try seeking to end of FILENAME for
appending if not a regular file.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Fri, 03 Jul 1998 20:01:02 +0000 |
parents | 1614e05bf2b5 |
children | 4f2282284e2a |
rev | line source |
---|---|
660
08eb386dd0f3
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
257
diff
changeset
|
1 ;;; informat.el --- info support functions package for Emacs |
08eb386dd0f3
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
257
diff
changeset
|
2 |
846
20674ae6bf52
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
811
diff
changeset
|
3 ;; Copyright (C) 1986 Free Software Foundation, Inc. |
20674ae6bf52
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
811
diff
changeset
|
4 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
660
diff
changeset
|
5 ;; Maintainer: FSF |
811
e694e0879463
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
807
diff
changeset
|
6 ;; Keywords: help |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
660
diff
changeset
|
7 |
257 | 8 ;; This file is part of GNU Emacs. |
9 | |
10 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
11 ;; it under the terms of the GNU General Public License as published by | |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
660
diff
changeset
|
12 ;; the Free Software Foundation; either version 2, or (at your option) |
257 | 13 ;; any later version. |
14 | |
15 ;; GNU Emacs is distributed in the hope that it will be useful, | |
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
18 ;; GNU General Public License for more details. | |
19 | |
20 ;; You should have received a copy of the GNU General Public License | |
14169 | 21 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
22 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
23 ;; Boston, MA 02111-1307, USA. | |
257 | 24 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
660
diff
changeset
|
25 ;;; Code: |
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
660
diff
changeset
|
26 |
257 | 27 (require 'info) |
28 | |
29 ;;;###autoload | |
30 (defun Info-tagify () | |
22660
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
31 "Create or update Info file tag table in current buffer." |
257 | 32 (interactive) |
33 ;; Save and restore point and restrictions. | |
34 ;; save-restrictions would not work | |
35 ;; because it records the old max relative to the end. | |
36 ;; We record it relative to the beginning. | |
37 (message "Tagifying %s ..." (file-name-nondirectory (buffer-file-name))) | |
38 (let ((omin (point-min)) | |
39 (omax (point-max)) | |
40 (nomax (= (point-max) (1+ (buffer-size)))) | |
41 (opoint (point))) | |
42 (unwind-protect | |
22660
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
43 (progn |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
44 (widen) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
45 (goto-char (point-min)) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
46 (if (search-forward "\^_\nIndirect:\n" nil t) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
47 (message "Cannot tagify split info file") |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
48 |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
49 (let (tag-list |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
50 refillp |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
51 (case-fold-search t) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
52 (regexp |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
53 (concat |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
54 "\\(" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
55 |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
56 |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
57 "\\(" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
58 "@anchor" ; match-string 2 matches @anchor |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
59 "\\)" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
60 "\\(-no\\|-yes\\)" ; match-string 3 matches -no or -yes |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
61 "\\(" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
62 "-refill" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
63 "\\)" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
64 |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
65 "\\(" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
66 "{" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
67 "\\)" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
68 "\\(" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
69 "[^}]+" ; match-string 6 matches arg to anchor |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
70 "\\)" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
71 "\\(" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
72 "}" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
73 "\\)" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
74 |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
75 "\\|" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
76 |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
77 "\\(" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
78 "\n\^_" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
79 "\\)" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
80 |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
81 "\\(" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
82 "\nFile:[ \t]*\\([^,\n\t]*\\)[,\t\n]+[ \t\n]*" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
83 "Node:[ \t]*" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
84 "\\(" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
85 "[^,\n\t]*" ; match-string 11 matches arg to node name |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
86 "\\)" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
87 "[,\t\n]" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
88 "\\)" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
89 |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
90 "\\)" |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
91 ))) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
92 (while (re-search-forward regexp nil t) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
93 (if (string-equal "@anchor" (match-string 2)) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
94 (progn |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
95 ;; kludge lest lose match-data |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
96 (if (string-equal "-yes" (match-string 3)) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
97 (setq refillp t)) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
98 (setq tag-list |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
99 (cons (list |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
100 (concat "Ref: " (match-string 6)) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
101 (match-beginning 0)) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
102 tag-list)) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
103 (if (eq refillp t) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
104 ;; set start and end so texinfo-format-refill works |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
105 (let ((texinfo-command-start (match-beginning 0)) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
106 (texinfo-command-end (match-end 0))) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
107 (texinfo-format-refill)) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
108 (delete-region (match-beginning 0) (match-end 0)))) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
109 ;; else this is a Node |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
110 (setq tag-list |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
111 (cons (list |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
112 (concat "Node: " (match-string 11)) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
113 (match-beginning 0)) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
114 tag-list)))) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
115 |
257 | 116 (goto-char (point-max)) |
117 (forward-line -8) | |
118 (let ((buffer-read-only nil)) | |
119 (if (search-forward "\^_\nEnd tag table\n" nil t) | |
120 (let ((end (point))) | |
121 (search-backward "\nTag table:\n") | |
122 (beginning-of-line) | |
123 (delete-region (point) end))) | |
124 (goto-char (point-max)) | |
125 (insert "\^_\f\nTag table:\n") | |
18137
985e47a14cab
(Info-tagify): Don't set Info-tag-table-marker if not in Info mode.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
126 (if (eq major-mode 'info-mode) |
985e47a14cab
(Info-tagify): Don't set Info-tag-table-marker if not in Info mode.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
127 (move-marker Info-tag-table-marker (point))) |
22660
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
128 (setq tag-list (nreverse tag-list)) |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
129 (while tag-list |
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
130 (insert (car (car tag-list)) ?\177) |
22644
5f67eacb5c04
(Info-split): Convert positions to bytes to put in file.
Richard M. Stallman <rms@gnu.org>
parents:
18422
diff
changeset
|
131 (princ (position-bytes (car (cdr (car list)))) |
5f67eacb5c04
(Info-split): Convert positions to bytes to put in file.
Richard M. Stallman <rms@gnu.org>
parents:
18422
diff
changeset
|
132 (current-buffer)) |
257 | 133 (insert ?\n) |
22660
1614e05bf2b5
(Info-tagify): Handle tags for @anchor.
Richard M. Stallman <rms@gnu.org>
parents:
22644
diff
changeset
|
134 (setq tag-list (cdr tag-list))) |
257 | 135 (insert "\^_\nEnd tag table\n"))))) |
136 (goto-char opoint) | |
137 (narrow-to-region omin (if nomax (1+ (buffer-size)) | |
138 (min omax (point-max)))))) | |
139 (message "Tagifying %s ... done" (file-name-nondirectory (buffer-file-name)))) | |
140 | |
141 ;;;###autoload | |
142 (defun Info-split () | |
143 "Split an info file into an indirect file plus bounded-size subfiles. | |
144 Each subfile will be up to 50,000 characters plus one node. | |
145 | |
146 To use this command, first visit a large Info file that has a tag | |
147 table. The buffer is modified into a (small) indirect info file which | |
148 should be saved in place of the original visited file. | |
149 | |
150 The subfiles are written in the same directory the original file is | |
151 in, with names generated by appending `-' and a number to the original | |
152 file name. The indirect file still functions as an Info file, but it | |
153 contains just the tag table and a directory of subfiles." | |
154 | |
155 (interactive) | |
156 (if (< (buffer-size) 70000) | |
157 (error "This is too small to be worth splitting")) | |
158 (goto-char (point-min)) | |
159 (search-forward "\^_") | |
160 (forward-char -1) | |
161 (let ((start (point)) | |
22644
5f67eacb5c04
(Info-split): Convert positions to bytes to put in file.
Richard M. Stallman <rms@gnu.org>
parents:
18422
diff
changeset
|
162 (start-byte (position-bytes (point))) |
5f67eacb5c04
(Info-split): Convert positions to bytes to put in file.
Richard M. Stallman <rms@gnu.org>
parents:
18422
diff
changeset
|
163 (bytes-deleted 0) |
257 | 164 subfiles |
165 (subfile-number 1) | |
166 (case-fold-search t) | |
167 (filename (file-name-sans-versions buffer-file-name))) | |
168 (goto-char (point-max)) | |
169 (forward-line -8) | |
170 (setq buffer-read-only nil) | |
171 (or (search-forward "\^_\nEnd tag table\n" nil t) | |
172 (error "Tag table required; use M-x Info-tagify")) | |
173 (search-backward "\nTag table:\n") | |
174 (if (looking-at "\nTag table:\n\^_") | |
175 (error "Tag table is just a skeleton; use M-x Info-tagify")) | |
176 (beginning-of-line) | |
177 (forward-char 1) | |
178 (save-restriction | |
179 (narrow-to-region (point-min) (point)) | |
180 (goto-char (point-min)) | |
181 (while (< (1+ (point)) (point-max)) | |
182 (goto-char (min (+ (point) 50000) (point-max))) | |
183 (search-forward "\^_" nil 'move) | |
184 (setq subfiles | |
22644
5f67eacb5c04
(Info-split): Convert positions to bytes to put in file.
Richard M. Stallman <rms@gnu.org>
parents:
18422
diff
changeset
|
185 (cons (list (+ start-byte bytes-deleted) |
257 | 186 (concat (file-name-nondirectory filename) |
187 (format "-%d" subfile-number))) | |
188 subfiles)) | |
189 ;; Put a newline at end of split file, to make Unix happier. | |
190 (insert "\n") | |
191 (write-region (point-min) (point) | |
192 (concat filename (format "-%d" subfile-number))) | |
193 (delete-region (1- (point)) (point)) | |
194 ;; Back up over the final ^_. | |
195 (forward-char -1) | |
22644
5f67eacb5c04
(Info-split): Convert positions to bytes to put in file.
Richard M. Stallman <rms@gnu.org>
parents:
18422
diff
changeset
|
196 (setq bytes-deleted (+ bytes-deleted (- (position-bytes (point)) |
5f67eacb5c04
(Info-split): Convert positions to bytes to put in file.
Richard M. Stallman <rms@gnu.org>
parents:
18422
diff
changeset
|
197 start-byte))) |
257 | 198 (delete-region start (point)) |
199 (setq subfile-number (1+ subfile-number)))) | |
200 (while subfiles | |
201 (goto-char start) | |
202 (insert (nth 1 (car subfiles)) | |
10156
baf3b68f7e56
(Info-split): Fix 1-off error in subfile position.
Richard M. Stallman <rms@gnu.org>
parents:
10154
diff
changeset
|
203 (format ": %d" (1- (car (car subfiles)))) |
257 | 204 "\n") |
205 (setq subfiles (cdr subfiles))) | |
206 (goto-char start) | |
207 (insert "\^_\nIndirect:\n") | |
208 (search-forward "\nTag Table:\n") | |
209 (insert "(Indirect)\n"))) | |
210 | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
211 (defvar Info-validate-allnodes) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
212 (defvar Info-validate-thisnode) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
213 (defvar Info-validate-lossages) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
214 |
257 | 215 ;;;###autoload |
216 (defun Info-validate () | |
217 "Check current buffer for validity as an Info file. | |
218 Check that every node pointer points to an existing node." | |
219 (interactive) | |
220 (save-excursion | |
221 (save-restriction | |
222 (widen) | |
223 (goto-char (point-min)) | |
224 (if (search-forward "\nTag table:\n(Indirect)\n" nil t) | |
225 (error "Don't yet know how to validate indirect info files: \"%s\"" | |
226 (buffer-name (current-buffer)))) | |
227 (goto-char (point-min)) | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
228 (let ((Info-validate-allnodes '(("*"))) |
257 | 229 (regexp "Node:[ \t]*\\([^,\n\t]*\\)[,\t\n]") |
230 (case-fold-search t) | |
231 (tags-losing nil) | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
232 (Info-validate-lossages ())) |
257 | 233 (while (search-forward "\n\^_" nil t) |
234 (forward-line 1) | |
235 (let ((beg (point))) | |
236 (forward-line 1) | |
237 (if (re-search-backward regexp beg t) | |
238 (let ((name (downcase | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
239 (buffer-substring-no-properties |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
240 (match-beginning 1) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
241 (progn |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
242 (goto-char (match-end 1)) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
243 (skip-chars-backward " \t") |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
244 (point)))))) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
245 (if (assoc name Info-validate-allnodes) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
246 (setq Info-validate-lossages |
257 | 247 (cons (list name "Duplicate node-name" nil) |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
248 Info-validate-lossages)) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
249 (setq Info-validate-allnodes |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
250 (cons (list name |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
251 (progn |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
252 (end-of-line) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
253 (and (re-search-backward |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
254 "prev[ious]*:" beg t) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
255 (progn |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
256 (goto-char (match-end 0)) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
257 (downcase |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
258 (Info-following-node-name))))) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
259 beg) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
260 Info-validate-allnodes))))))) |
257 | 261 (goto-char (point-min)) |
262 (while (search-forward "\n\^_" nil t) | |
263 (forward-line 1) | |
264 (let ((beg (point)) | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
265 Info-validate-thisnode next) |
257 | 266 (forward-line 1) |
267 (if (re-search-backward regexp beg t) | |
268 (save-restriction | |
269 (search-forward "\n\^_" nil 'move) | |
270 (narrow-to-region beg (point)) | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
271 (setq Info-validate-thisnode (downcase |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
272 (buffer-substring-no-properties |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
273 (match-beginning 1) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
274 (progn |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
275 (goto-char (match-end 1)) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
276 (skip-chars-backward " \t") |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
277 (point))))) |
257 | 278 (end-of-line) |
279 (and (search-backward "next:" nil t) | |
280 (setq next (Info-validate-node-name "invalid Next")) | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
281 (assoc next Info-validate-allnodes) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
282 (if (equal (car (cdr (assoc next Info-validate-allnodes))) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
283 Info-validate-thisnode) |
257 | 284 ;; allow multiple `next' pointers to one node |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
285 (let ((tem Info-validate-lossages)) |
257 | 286 (while tem |
287 (if (and (equal (car (cdr (car tem))) | |
288 "should have Previous") | |
289 (equal (car (car tem)) | |
290 next)) | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
291 (setq Info-validate-lossages |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
292 (delq (car tem) Info-validate-lossages))) |
257 | 293 (setq tem (cdr tem)))) |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
294 (setq Info-validate-lossages |
257 | 295 (cons (list next |
296 "should have Previous" | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
297 Info-validate-thisnode) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
298 Info-validate-lossages)))) |
257 | 299 (end-of-line) |
300 (if (re-search-backward "prev[ious]*:" nil t) | |
301 (Info-validate-node-name "invalid Previous")) | |
302 (end-of-line) | |
303 (if (search-backward "up:" nil t) | |
304 (Info-validate-node-name "invalid Up")) | |
305 (if (re-search-forward "\n* Menu:" nil t) | |
306 (while (re-search-forward "\n\\* " nil t) | |
307 (Info-validate-node-name | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
308 (concat "invalid menu item " |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
309 (buffer-substring (point) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
310 (save-excursion |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
311 (skip-chars-forward "^:") |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
312 (point)))) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
313 (Info-extract-menu-node-name)))) |
257 | 314 (goto-char (point-min)) |
315 (while (re-search-forward "\\*note[ \n]*[^:\t]*:" nil t) | |
316 (goto-char (+ (match-beginning 0) 5)) | |
317 (skip-chars-forward " \n") | |
318 (Info-validate-node-name | |
319 (concat "invalid reference " | |
320 (buffer-substring (point) | |
321 (save-excursion | |
322 (skip-chars-forward "^:") | |
323 (point)))) | |
324 (Info-extract-menu-node-name "Bad format cross-reference"))))))) | |
325 (setq tags-losing (not (Info-validate-tags-table))) | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
326 (if (or Info-validate-lossages tags-losing) |
257 | 327 (with-output-to-temp-buffer " *problems in info file*" |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
328 (while Info-validate-lossages |
257 | 329 (princ "In node \"") |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
330 (princ (car (car Info-validate-lossages))) |
257 | 331 (princ "\", ") |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
332 (let ((tem (nth 1 (car Info-validate-lossages)))) |
257 | 333 (cond ((string-match "\n" tem) |
334 (princ (substring tem 0 (match-beginning 0))) | |
335 (princ "...")) | |
336 (t | |
337 (princ tem)))) | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
338 (if (nth 2 (car Info-validate-lossages)) |
257 | 339 (progn |
340 (princ ": ") | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
341 (let ((tem (nth 2 (car Info-validate-lossages)))) |
257 | 342 (cond ((string-match "\n" tem) |
343 (princ (substring tem 0 (match-beginning 0))) | |
344 (princ "...")) | |
345 (t | |
346 (princ tem)))))) | |
347 (terpri) | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
348 (setq Info-validate-lossages (cdr Info-validate-lossages))) |
257 | 349 (if tags-losing (princ "\nTags table must be recomputed\n"))) |
350 ;; Here if info file is valid. | |
351 ;; If we already made a list of problems, clear it out. | |
352 (save-excursion | |
353 (if (get-buffer " *problems in info file*") | |
354 (progn | |
355 (set-buffer " *problems in info file*") | |
356 (kill-buffer (current-buffer))))) | |
357 (message "File appears valid")))))) | |
358 | |
359 (defun Info-validate-node-name (kind &optional name) | |
360 (if name | |
361 nil | |
362 (goto-char (match-end 0)) | |
363 (skip-chars-forward " \t") | |
364 (if (= (following-char) ?\() | |
365 nil | |
366 (setq name | |
13291
49de0d4ca42e
(Info-validate, Info-validate-node-name): Use buffer-substring-no-properties.
Richard M. Stallman <rms@gnu.org>
parents:
10156
diff
changeset
|
367 (buffer-substring-no-properties |
257 | 368 (point) |
369 (progn | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
370 (skip-chars-forward "^,\t\n") |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
371 (skip-chars-backward " ") |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
372 (point)))))) |
257 | 373 (if (null name) |
374 nil | |
375 (setq name (downcase name)) | |
376 (or (and (> (length name) 0) (= (aref name 0) ?\()) | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
377 (assoc name Info-validate-allnodes) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
378 (setq Info-validate-lossages |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
379 (cons (list Info-validate-thisnode kind name) |
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
380 Info-validate-lossages)))) |
257 | 381 name) |
382 | |
383 (defun Info-validate-tags-table () | |
384 (goto-char (point-min)) | |
385 (if (not (search-forward "\^_\nEnd tag table\n" nil t)) | |
386 t | |
387 (not (catch 'losing | |
388 (let* ((end (match-beginning 0)) | |
389 (start (progn (search-backward "\nTag table:\n") | |
390 (1- (match-end 0)))) | |
391 tem) | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
392 (setq tem Info-validate-allnodes) |
257 | 393 (while tem |
394 (goto-char start) | |
395 (or (equal (car (car tem)) "*") | |
396 (search-forward (concat "Node: " | |
397 (car (car tem)) | |
398 "\177") | |
399 end t) | |
400 (throw 'losing 'x)) | |
401 (setq tem (cdr tem))) | |
402 (goto-char (1+ start)) | |
403 (while (looking-at ".*Node: \\(.*\\)\177\\([0-9]+\\)$") | |
13291
49de0d4ca42e
(Info-validate, Info-validate-node-name): Use buffer-substring-no-properties.
Richard M. Stallman <rms@gnu.org>
parents:
10156
diff
changeset
|
404 (setq tem (downcase (buffer-substring-no-properties |
257 | 405 (match-beginning 1) |
406 (match-end 1)))) | |
18422
96deedadd2f0
(Info-validate-allnodes): Variable renamed, defvar added.
Richard M. Stallman <rms@gnu.org>
parents:
18383
diff
changeset
|
407 (setq tem (assoc tem Info-validate-allnodes)) |
257 | 408 (if (or (not tem) |
409 (< 1000 (progn | |
410 (goto-char (match-beginning 2)) | |
411 (setq tem (- (car (cdr (cdr tem))) | |
412 (read (current-buffer)))) | |
413 (if (> tem 0) tem (- tem))))) | |
13291
49de0d4ca42e
(Info-validate, Info-validate-node-name): Use buffer-substring-no-properties.
Richard M. Stallman <rms@gnu.org>
parents:
10156
diff
changeset
|
414 (throw 'losing 'y)) |
49de0d4ca42e
(Info-validate, Info-validate-node-name): Use buffer-substring-no-properties.
Richard M. Stallman <rms@gnu.org>
parents:
10156
diff
changeset
|
415 (forward-line 1))) |
49de0d4ca42e
(Info-validate, Info-validate-node-name): Use buffer-substring-no-properties.
Richard M. Stallman <rms@gnu.org>
parents:
10156
diff
changeset
|
416 (if (looking-at "\^_\n") |
49de0d4ca42e
(Info-validate, Info-validate-node-name): Use buffer-substring-no-properties.
Richard M. Stallman <rms@gnu.org>
parents:
10156
diff
changeset
|
417 (forward-line 1)) |
257 | 418 (or (looking-at "End tag table\n") |
419 (throw 'losing 'z)) | |
420 nil)))) | |
421 | |
422 ;;;###autoload | |
423 (defun batch-info-validate () | |
424 "Runs `Info-validate' on the files remaining on the command line. | |
425 Must be used only with -batch, and kills Emacs on completion. | |
426 Each file will be processed even if an error occurred previously. | |
427 For example, invoke \"emacs -batch -f batch-info-validate $info/ ~/*.info\"" | |
428 (if (not noninteractive) | |
429 (error "batch-info-validate may only be used -batch.")) | |
430 (let ((version-control t) | |
431 (auto-save-default nil) | |
432 (find-file-run-dired nil) | |
433 (kept-old-versions 259259) | |
434 (kept-new-versions 259259)) | |
435 (let ((error 0) | |
436 file | |
437 (files ())) | |
438 (while command-line-args-left | |
439 (setq file (expand-file-name (car command-line-args-left))) | |
440 (cond ((not (file-exists-p file)) | |
441 (message ">> %s does not exist!" file) | |
442 (setq error 1 | |
443 command-line-args-left (cdr command-line-args-left))) | |
444 ((file-directory-p file) | |
445 (setq command-line-args-left (nconc (directory-files file) | |
446 (cdr command-line-args-left)))) | |
447 (t | |
448 (setq files (cons file files) | |
449 command-line-args-left (cdr command-line-args-left))))) | |
450 (while files | |
451 (setq file (car files) | |
452 files (cdr files)) | |
453 (let ((lose nil)) | |
454 (condition-case err | |
455 (progn | |
456 (if buffer-file-name (kill-buffer (current-buffer))) | |
457 (find-file file) | |
458 (buffer-disable-undo (current-buffer)) | |
459 (set-buffer-modified-p nil) | |
460 (fundamental-mode) | |
461 (let ((case-fold-search nil)) | |
462 (goto-char (point-max)) | |
463 (cond ((search-backward "\n\^_\^L\nTag table:\n" nil t) | |
464 (message "%s already tagified" file)) | |
465 ((< (point-max) 30000) | |
466 (message "%s too small to bother tagifying" file)) | |
467 (t | |
923 | 468 (Info-tagify)))) |
257 | 469 (let ((loss-name " *problems in info file*")) |
470 (message "Checking validity of info file %s..." file) | |
471 (if (get-buffer loss-name) | |
472 (kill-buffer loss-name)) | |
473 (Info-validate) | |
474 (if (not (get-buffer loss-name)) | |
475 nil ;(message "Checking validity of info file %s... OK" file) | |
476 (message "----------------------------------------------------------------------") | |
477 (message ">> PROBLEMS IN INFO FILE %s" file) | |
478 (save-excursion | |
479 (set-buffer loss-name) | |
13291
49de0d4ca42e
(Info-validate, Info-validate-node-name): Use buffer-substring-no-properties.
Richard M. Stallman <rms@gnu.org>
parents:
10156
diff
changeset
|
480 (princ (buffer-substring-no-properties |
49de0d4ca42e
(Info-validate, Info-validate-node-name): Use buffer-substring-no-properties.
Richard M. Stallman <rms@gnu.org>
parents:
10156
diff
changeset
|
481 (point-min) (point-max)))) |
257 | 482 (message "----------------------------------------------------------------------") |
483 (setq error 1 lose t))) | |
484 (if (and (buffer-modified-p) | |
485 (not lose)) | |
486 (progn (message "Saving modified %s" file) | |
487 (save-buffer)))) | |
488 (error (message ">> Error: %s" (prin1-to-string err)))))) | |
489 (kill-emacs error)))) | |
660
08eb386dd0f3
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
257
diff
changeset
|
490 |
18383 | 491 (provide 'informat) |
492 | |
660
08eb386dd0f3
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
257
diff
changeset
|
493 ;;; informat.el ends here |