;; Info support functions package for Emacs
;; Copyright (C) 1986 Free Software Foundation, Inc.
;; This file is part of GNU Emacs.
;; GNU Emacs is free software; you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by
;; the Free Software Foundation; either version 1, or (at your option)
;; GNU Emacs is distributed in the hope that it will be useful,
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
;; GNU General Public License for more details.
;; You should have received a copy of the GNU General Public License
;; along with GNU Emacs; see the file COPYING. If not, write to
;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
"Create or update Info-file tag table in current buffer."
;; Save and restore point and restrictions.
;; save-restrictions would not work
;; because it records the old max relative to the end.
;; We record it relative to the beginning.
(nomax (= (point-max) (1+ (buffer-size))))
(if (search-forward "\^_\nIndirect:\n" nil t)
(message "Cannot tagify split info file")
(let ((regexp "Node:[ \t]*\\([^,\n\t]\\)*[,\t\n]")
(while (search-forward "\n\^_" nil t)
(if (re-search-backward regexp beg t)
(cons (list (buffer-substring
(let ((buffer-read-only nil))
(if (search-forward "\^_\nEnd tag table\n" nil t)
(search-backward "\nTag table:\n")
(delete-region (point) end)))
(insert "\^_\f\nTag table:\n")
(move-marker Info-tag-table-marker (point))
(setq list (nreverse list))
(insert "Node: " (car (car list)) ?\177)
(princ (car (cdr (car list))) (current-buffer))
(insert "\^_\nEnd tag table\n")))))
(narrow-to-region omin (if nomax (1+ (buffer-size))
(min omax (point-max)))))))
"Split an info file into an indirect file plus bounded-size subfiles.
Each subfile will be up to 50000 characters plus one node.
To use this command, first visit a large Info file that has a tag table.
The buffer is modified into a (small) indirect info file
which should be saved in place of the original visited file.
The subfiles are written in the same directory the original file is in,
with names generated by appending `-' and a number to the original file name.
The indirect file still functions as an Info file, but it contains
just the tag table and a directory of subfiles."
(if (< (buffer-size) 70000)
(error "This is too small to be worth splitting"))
(filename (file-name-sans-versions buffer-file-name)))
(setq buffer-read-only nil)
(or (search-forward "\^_\nEnd tag table\n" nil t)
(error "Tag table required; use M-x Info-tagify"))
(search-backward "\nTag table:\n")
(if (looking-at "\nTag table:\n\^_")
(error "Tag table is just a skeleton; use M-x Info-tagify"))
(narrow-to-region (point-min) (point))
(while (< (1+ (point)) (point-max))
(goto-char (min (+ (point) 50000) (point-max)))
(search-forward "\^_" nil 'move)
(cons (list (+ start chars-deleted)
(concat (file-name-nondirectory filename)
(format "-%d" subfile-number)))
;; Put a newline at end of split file, to make Unix happier.
(write-region (point-min) (point)
(concat filename (format "-%d" subfile-number)))
(delete-region (1- (point)) (point))
;; Back up over the final ^_.
(setq chars-deleted (+ chars-deleted (- (point) start)))
(delete-region start (point))
(setq subfile-number (1+ subfile-number))))
(insert (nth 1 (car subfiles))
(format ": %d" (car (car subfiles)))
(setq subfiles (cdr subfiles)))
(insert "\^_\nIndirect:\n")
(search-forward "\nTag Table:\n")
(insert "(Indirect)\n")))
"Check current buffer for validity as an Info file.
Check that every node pointer points to an existing node."
(if (search-forward "\nTag table:\n(Indirect)\n" nil t)
(error "Don't yet know how to validate indirect info files: \"%s\""
(buffer-name (current-buffer))))
(let ((allnodes '(("*")))
(regexp "Node:[ \t]*\\([^,\n\t]*\\)[,\t\n]")
(while (search-forward "\n\^_" nil t)
(if (re-search-backward regexp beg t)
(goto-char (match-end 1))
(skip-chars-backward " \t")
(if (assoc name allnodes)
(cons (list name "Duplicate node-name" nil)
(goto-char (match-end 0))
(Info-following-node-name)))))
(while (search-forward "\n\^_" nil t)
(if (re-search-backward regexp beg t)
(search-forward "\n\^_" nil 'move)
(narrow-to-region beg (point))
(goto-char (match-end 1))
(skip-chars-backward " \t")
(and (search-backward "next:" nil t)
(setq next (Info-validate-node-name "invalid Next"))
(if (equal (car (cdr (assoc next allnodes)))
;; allow multiple `next' pointers to one node
(if (and (equal (car (cdr (car tem)))
(setq lossages (delq (car tem) lossages)))
(if (re-search-backward "prev[ious]*:" nil t)
(Info-validate-node-name "invalid Previous"))
(if (search-backward "up:" nil t)
(Info-validate-node-name "invalid Up"))
(if (re-search-forward "\n* Menu:" nil t)
(while (re-search-forward "\n\\* " nil t)
(concat "invalid menu item "
(buffer-substring (point)
(skip-chars-forward "^:")
(Info-extract-menu-node-name))))
(while (re-search-forward "\\*note[ \n]*[^:\t]*:" nil t)
(goto-char (+ (match-beginning 0) 5))
(skip-chars-forward " \n")
(concat "invalid reference "
(buffer-substring (point)
(skip-chars-forward "^:")
(Info-extract-menu-node-name "Bad format cross-reference")))))))
(setq tags-losing (not (Info-validate-tags-table)))
(if (or lossages tags-losing)
(with-output-to-temp-buffer " *problems in info file*"
(princ (car (car lossages)))
(let ((tem (nth 1 (car lossages))))
(cond ((string-match "\n" tem)
(princ (substring tem 0 (match-beginning 0)))
(if (nth 2 (car lossages))
(let ((tem (nth 2 (car lossages))))
(cond ((string-match "\n" tem)
(princ (substring tem 0 (match-beginning 0)))
(setq lossages (cdr lossages)))
(if tags-losing (princ "\nTags table must be recomputed\n")))
;; Here if info file is valid.
;; If we already made a list of problems, clear it out.
(if (get-buffer " *problems in info file*")
(set-buffer " *problems in info file*")
(kill-buffer (current-buffer)))))
(message "File appears valid"))))))
(defun Info-validate-node-name (kind &optional name)
(goto-char (match-end 0))
(skip-chars-forward " \t")
(if (= (following-char) ?\()
(skip-chars-forward "^,\t\n")
(skip-chars-backward " ")
(setq name (downcase name))
(or (and (> (length name) 0) (= (aref name 0) ?\())
(cons (list thisnode kind name) lossages))))
(defun Info-validate-tags-table ()
(if (not (search-forward "\^_\nEnd tag table\n" nil t))
(let* ((end (match-beginning 0))
(start (progn (search-backward "\nTag table:\n")
(or (equal (car (car tem)) "*")
(search-forward (concat "Node: "
(while (looking-at ".*Node: \\(.*\\)\177\\([0-9]+\\)$")
(setq tem (downcase (buffer-substring
(setq tem (assoc tem allnodes))
(goto-char (match-beginning 2))
(setq tem (- (car (cdr (cdr tem)))
(read (current-buffer))))
(if (> tem 0) tem (- tem)))))
(or (looking-at "End tag table\n")
(defun batch-info-validate ()
"Runs Info-validate on the files remaining on the command line.
Must be used only with -batch, and kills emacs on completion.
Each file will be processed even if an error occurred previously.
For example, invoke \"emacs -batch -f batch-info-validate $info/ ~/*.info\""
(error "batch-info-validate may only be used -batch."))
(let ((version-control t)
(find-file-run-dired nil)
(kept-old-versions 259259)
(kept-new-versions 259259))
(while command-line-args-left
(setq file (expand-file-name (car command-line-args-left)))
(cond ((not (file-exists-p file))
(message ">> %s does not exist!" file)
command-line-args-left (cdr command-line-args-left)))
(setq command-line-args-left (nconc (directory-files file)
(cdr command-line-args-left))))
(setq files (cons file files)
command-line-args-left (cdr command-line-args-left)))))
(if buffer-file-name (kill-buffer (current-buffer)))
(buffer-flush-undo (current-buffer))
(set-buffer-modified-p nil)
(let ((case-fold-search nil))
(cond ((search-backward "\n\^_\^L\nTag table:\n" nil t)
(message "%s already tagified" file))
(message "%s too small to bother tagifying" file))
(message "Tagifying %s..." file)
(message "Tagifying %s...done" file))))
(let ((loss-name " *problems in info file*"))
(message "Checking validity of info file %s..." file)
(if (get-buffer loss-name)
(if (not (get-buffer loss-name))
nil ;(message "Checking validity of info file %s... OK" file)
(message "----------------------------------------------------------------------")
(message ">> PROBLEMS IN INFO FILE %s" file)
(princ (buffer-substring (point-min) (point-max))))
(message "----------------------------------------------------------------------")
(if (and (buffer-modified-p)
(progn (message "Saving modified %s" file)
(error (message ">> Error: %s" (prin1-to-string err))))))