annotate lisp/textmodes/makeinfo.el @ 3856:7f0b238b15a1

Initial revision
author Richard M. Stallman <rms@gnu.org>
date Mon, 21 Jun 1993 06:45:33 +0000
parents
children ef8b4ed0de91
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3856
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 ;;;; makeinfo.el -- run makeinfo conveniently.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2 ;;; Copyright (C) 1991, 1993 Free Software Foundation, Inc.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
3
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4 ;;; Author: Robert J. Chassell
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5 ;;; Maintainer: FSF
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7 ;;; This file is part of GNU Emacs.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 ;; GNU Emacs is free software; you can redistribute it and/or modify
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 ;; it under the terms of the GNU General Public License as published by
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 ;; the Free Software Foundation; either version 2, or (at your option)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; any later version.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 ;; GNU Emacs is distributed in the hope that it will be useful,
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; GNU General Public License for more details.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 ;; You should have received a copy of the GNU General Public License
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 ;; along with GNU Emacs; see the file COPYING. If not, write to
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 ;;; Commentary:
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25 ;;; The Texinfo mode `makeinfo' related commands are:
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 ;; makeinfo-region to run makeinfo on the current region.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28 ;; makeinfo-buffer to run makeinfo on the current buffer, or
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 ;; with optional prefix arg, on current region
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 ;; kill-compilation to kill currently running makeinfo job
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31 ;; makeinfo-recenter-makeinfo-buffer to redisplay *compilation* buffer
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 ;;; Keybindings (defined in `texinfo.el')
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 ;; makeinfo bindings
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 ; (define-key texinfo-mode-map "\C-c\C-m\C-r" 'makeinfo-region)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 ; (define-key texinfo-mode-map "\C-c\C-m\C-b" 'makeinfo-buffer)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 ; (define-key texinfo-mode-map "\C-c\C-m\C-k" 'kill-compilation)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 ; (define-key texinfo-mode-map "\C-c\C-m\C-l"
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 ; 'makeinfo-recenter-compilation-buffer)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 ;;; Code:
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 ;;; Variables used by `makeinfo'
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 (require 'compile)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 (defvar makeinfo-run-command "makeinfo"
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 "*Command used to run `makeinfo' subjob.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 The name of the file is appended to this string, separated by a space.")
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 (defvar makeinfo-options "+fill-column=70"
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 "*String containing options for running `makeinfo'.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 Do not include `--footnote-style' or `--paragraph-indent';
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 the proper way to specify those is with the Texinfo commands
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 `@footnotestyle` and `@paragraphindent'.")
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 (require 'texinfo)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 (require 'texinfmt)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 (defvar makeinfo-compilation-process nil
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 "Process that runs `makeinfo'. Should start out nil.")
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 (defvar makeinfo-temp-file nil
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 "Temporary file name used for text being sent as input to `makeinfo'.")
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 (defvar makeinfo-output-file-name nil
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 "Info file name used for text output by `makeinfo'.")
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 ;;; The `makeinfo' function definitions
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
73 (defun makeinfo-region (region-beginning region-end)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
74 "Make Info file from region of current Texinfo file, and switch to it.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76 This command does not offer the `next-error' feature since it would
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
77 apply to a temporary file, not the original; use the `makeinfo-buffer'
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78 command to gain use of `next-error'."
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
80 (interactive "r")
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81 (let (filename-or-header
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82 filename-or-header-beginning
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83 filename-or-header-end)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 ;; Cannot use `let' for makeinfo-temp-file or
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 ;; makeinfo-output-file-name since `makeinfo-compilation-sentinel'
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 ;; needs them.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88 (setq makeinfo-temp-file
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89 (concat
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90 (make-temp-name
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 (substring (buffer-file-name)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 0
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 (or (string-match "\\.tex" (buffer-file-name))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94 (length (buffer-file-name)))))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95 ".texinfo"))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 (save-excursion
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98 (save-restriction
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 (widen)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 (goto-char (point-min))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 (let ((search-end (save-excursion (forward-line 100) (point))))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 ;; Find and record the Info filename,
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 ;; or else explain that a filename is needed.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104 (if (re-search-forward
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 "^@setfilename[ \t]+\\([^ \t\n]+\\)[ \t]*"
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 search-end t)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 (setq makeinfo-output-file-name
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
108 (buffer-substring (match-beginning 1) (match-end 1)))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109 (error
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 "The texinfo file needs a line saying: @setfilename <name>"))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112 ;; Find header and specify its beginning and end.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113 (goto-char (point-min))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 (if (and
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 (prog1
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 (search-forward texinfo-start-of-header search-end t)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 (beginning-of-line)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 ;; Mark beginning of header.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 (setq filename-or-header-beginning (point)))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 (prog1
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 (search-forward texinfo-end-of-header nil t)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 (beginning-of-line)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 ;; Mark end of header
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 (setq filename-or-header-end (point))))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
126 ;; Insert the header into the temporary file.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 (write-region
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128 (min filename-or-header-beginning region-beginning)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129 filename-or-header-end
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 makeinfo-temp-file nil nil)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132 ;; Else no header; insert @filename line into temporary file.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 (goto-char (point-min))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134 (search-forward "@setfilename" search-end t)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 (beginning-of-line)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 (setq filename-or-header-beginning (point))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137 (forward-line 1)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138 (setq filename-or-header-end (point))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139 (write-region
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 (min filename-or-header-beginning region-beginning)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 filename-or-header-end
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 makeinfo-temp-file nil nil))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 ;; Insert the region into the file.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145 (write-region
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 (max region-beginning filename-or-header-end)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 region-end
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 makeinfo-temp-file t nil)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150 ;; Run the `makeinfo-compile' command in the *compilation* buffer
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 (save-excursion
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 (makeinfo-compile
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 (concat makeinfo-run-command
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154 " "
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 makeinfo-options
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 " "
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 makeinfo-temp-file)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 "Use `makeinfo-buffer' to gain use of the `next-error' command.")))))))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160 ;; Based on `compile1' in compile.el; changed so to make it possible
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
161 ;; to delete temporary file.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
162 (defun makeinfo-compile (command error-message &optional name-of-mode)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 ;(save-some-buffers) ; Don't need to save other buffers.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
164 (if makeinfo-compilation-process
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165 (if (or (not (eq (process-status makeinfo-compilation-process) 'run))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166 (yes-or-no-p
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 "A `makeinfo' compilation process is running; kill it? "))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 (condition-case ()
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 (let ((comp-proc makeinfo-compilation-process))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 (interrupt-process comp-proc)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 (sit-for 1)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 (delete-process comp-proc))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 (error nil))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 (error "Cannot have two makeinfo processes")))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 (setq makeinfo-compilation-process nil)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 (compilation-forget-errors)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 (setq compilation-error-list t)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178 (setq compilation-error-message error-message)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 (setq makeinfo-compilation-process
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 (start-process "makeinfo" "*compilation*"
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 shell-file-name
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 "-c" (concat "exec " command)))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 (with-output-to-temp-buffer "*compilation*"
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 (princ "cd ")
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 (princ default-directory)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 (terpri)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 (princ command)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188 (terpri))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 (let ((regexp compilation-error-regexp))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190 (save-excursion
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 (set-buffer "*compilation*")
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192 (make-local-variable 'compilation-error-regexp)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193 (setq compilation-error-regexp regexp)))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
194 (set-process-sentinel
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
195 makeinfo-compilation-process 'makeinfo-compilation-sentinel)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
196 (let* ((thisdir default-directory)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 (outbuf (process-buffer makeinfo-compilation-process))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
198 (outwin (get-buffer-window outbuf)))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199 (if (eq outbuf (current-buffer))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
200 (goto-char (point-max)))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
201 (save-excursion
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 (set-buffer outbuf)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
203 (buffer-flush-undo outbuf)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
204 (let ((start (save-excursion (set-buffer outbuf) (point-min))))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
205 (set-window-start outwin start)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
206 (or (eq outwin (selected-window))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
207 (set-window-point outwin start)))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
208 (setq default-directory thisdir)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
209 (fundamental-mode)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
210 (setq mode-name (or name-of-mode "compilation"))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 ;; Make log buffer's mode line show process state
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
212 (setq mode-line-process '(": %s")))))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 ;; Delete makeinfo-temp-file after proccessing is finished,
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 ;; and visit Info file.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216 ;; This function is called when the compilation process changes state.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 ;; Based on `compilation-sentinel' in compile.el
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
218 (defun makeinfo-compilation-sentinel (proc msg)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
219 (cond ((null (buffer-name (process-buffer proc)))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
220 ;; buffer killed
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221 (set-process-buffer proc nil))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 ((memq (process-status proc) '(signal exit))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
223 (let* ((obuf (current-buffer))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224 omax opoint)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
225 ;; save-excursion isn't the right thing if
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
226 ;; process-buffer is current-buffer
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
227 (unwind-protect
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
228 (progn
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 ;; Write something in *compilation* and hack
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 ;; its mode line,
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
231 (set-buffer (process-buffer proc))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
232 (setq omax (point-max) opoint (point))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233 (goto-char (point-max))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
234 (insert ?\n mode-name " " msg)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
235 (forward-char -1)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 (insert " at "
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237 (substring (current-time-string) 0 -5))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 (forward-char 1)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 (setq mode-line-process
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 (concat ": "
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241 (symbol-name (process-status proc))))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242 ;; If buffer and mode line will show that the process
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 ;; is dead, we can delete it now. Otherwise it
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 ;; will stay around until M-x list-processes.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 (delete-process proc))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 (setq makeinfo-compilation-process nil)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
247 ;; Force mode line redisplay soon
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
248 (set-buffer-modified-p (buffer-modified-p)))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 (if (and opoint (< opoint omax))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250 (goto-char opoint))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251 (set-buffer obuf))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 (if (and makeinfo-temp-file (file-exists-p makeinfo-temp-file))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253 (delete-file makeinfo-temp-file))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
254 ;; Always use the version on disk.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
255 (if (get-file-buffer makeinfo-output-file-name)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256 (progn (set-buffer makeinfo-output-file-name)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257 (revert-buffer t t)))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
258 (find-file makeinfo-output-file-name)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 (goto-char (point-min)))))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
260
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261 (defun makeinfo-buffer (buffer)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
262 "Make Info file from current buffer.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
263
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
264 The \\[next-error] command can be used to move to the next error
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
265 \(if any are found\)."
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
266
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
267 (interactive "bRun `makeinfo' on: ")
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
268 (cond ((null buffer-file-name)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
269 (error "Buffer not visiting any file!"))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
270 ((buffer-modified-p)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
271 (if (y-or-n-p "Buffer modified; do you want to save it? ")
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
272 (save-buffer))))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
273
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
274 ;; Find and record the Info filename,
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
275 ;; or else explain that a filename is needed.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
276 (save-excursion
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
277 (goto-char (point-min))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
278 (let ((search-end (save-excursion (forward-line 100) (point))))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
279 (if (re-search-forward
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
280 "^@setfilename[ \t]+\\([^ \t\n]+\\)[ \t]*"
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
281 search-end t)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
282 (setq makeinfo-output-file-name
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
283 (buffer-substring (match-beginning 1) (match-end 1)))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
284 (error
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
285 "The texinfo file needs a line saying: @setfilename <name>"))))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
286
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
287 (save-excursion
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
288 (makeinfo-compile
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
289 (concat makeinfo-run-command
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
290 " "
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
291 makeinfo-options
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
292 " "
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
293 "+footnote-style="
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
294 texinfo-footnote-style
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
295 " "
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
296 (buffer-file-name
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
297 (get-buffer buffer)))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
298 "No more errors.")))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
299
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
300 (defun makeinfo-recenter-compilation-buffer (linenum)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
301 "Redisplay `*compilation*' buffer so most recent output can be seen.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
302 The last line of the buffer is displayed on
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
303 line LINE of the window, or centered if LINE is nil."
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
304 (interactive "P")
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
305 (let ((makeinfo-buffer (get-buffer "*compilation*"))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
306 (old-buffer (current-buffer)))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
307 (if (null makeinfo-buffer)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
308 (message "No *compilation* buffer")
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
309 (pop-to-buffer makeinfo-buffer)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
310 (bury-buffer makeinfo-buffer)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
311 (goto-char (point-max))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
312 (recenter (if linenum
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
313 (prefix-numeric-value linenum)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
314 (/ (window-height) 2)))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
315 (pop-to-buffer old-buffer)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
316 )))
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
317
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
318
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
319 ;;; Place `provide' at end of file.
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
320 (provide 'makeinfo)
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
321
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
322 ;;; makeinfo.el ends here
7f0b238b15a1 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
323