annotate lispref/two.el @ 80684:0122e7498e18

(Vauto_save_list_file_name): Move here from file.el. (auto_save_1): Update modtime when auto-save-list-file-name is on.
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 05 Aug 2008 21:44:01 +0000
parents a1e16e813aed
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
75767
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
1 ;; Auxiliary functions for preparing a two volume manual.
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
2
79750
a1e16e813aed Add 2008 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 78255
diff changeset
3 ;; Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
75767
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
4 ;; Free Software Foundation, Inc.
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
5
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
6 ;; --rjc 30mar92
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
7
75767
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
8 ;; This file is free software; you can redistribute it and/or modify
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
9 ;; it under the terms of the GNU General Public License as published by
78255
63591152f3cb Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents: 75767
diff changeset
10 ;; the Free Software Foundation; either version 3, or (at your option)
75767
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
11 ;; any later version.
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
12
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
13 ;; This file is distributed in the hope that it will be useful,
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
14 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
15 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
16 ;; GNU General Public License for more details.
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
17
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
18 ;; You should have received a copy of the GNU General Public License
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
19 ;; along with this file; see the file COPYING. If not, write to
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
20 ;; the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
21 ;; Boston, MA 02110-1301, USA.
9f4849fee703 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
22
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
23 (defun volume-aux-markup (arg)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
24 "Append `vol. NUMBER' to page number.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
25 Apply to aux file that you save.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
26 Then insert marked file into other volume's .aux file."
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
27 (interactive "sType volume number, 1 or 2: " )
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
28 (goto-char (point-min))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
29 (while (search-forward "-pg" nil t)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
30 (end-of-line 1)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
31 (delete-backward-char 1 nil)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
32 (insert ", vol.'tie" arg "}")))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
33
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
34 (defun volume-index-markup (arg)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
35 "Prepend `NUMBER:' to page number. Use Roman Numeral.
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 41193
diff changeset
36 Apply only to unsorted index file,
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
37 Then insert marked file into other volume's unsorted index file.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
38 Then run texindex on that file and save."
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
39 (interactive
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
40 "sType volume number, roman number I or II: " )
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
41 (goto-char (point-min))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
42 (while (search-forward "\\entry" nil t)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
43 (search-forward "}{" (save-excursion (end-of-line) (point)) nil)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
44 (insert arg ":")))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
45
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
46 (defun volume-numbers-toc-markup (arg)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
47 (interactive
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
48 "sType volume number, roman number I or II: " )
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
49 (goto-char (point-min))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
50 (while (search-forward "chapentry" nil t)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
51 (end-of-line)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
52 (search-backward "{" nil t)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
53 (forward-char 1)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
54 (insert arg ":")))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
55
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
56 (defun volume-header-toc-markup ()
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
57 "Insert Volume I and Volume II text into .toc file.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
58 NOTE: this auxilary function is file specific.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
59 This is for the *Elisp Ref Manual*"
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
60 (interactive)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
61 (goto-char (point-min))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
62 (insert "\\unnumbchapentry {Volume 1}{}\n\\unnumbchapentry {}{}\n")
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
63 (search-forward "\\unnumbchapentry {Index}")
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
64 (forward-line 1)
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 41193
diff changeset
65 (insert
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
66 "\\unnumbchapentry {}{}\n\\unnumbchapentry {}{}\n\\unnumbchapentry {}{}\n\\unnumbchapentry {}{}\n\\unnumbchapentry {Volume 2}{}\n\\unnumbchapentry {}{}\n"))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
67
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
68
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
69 ;;; In batch mode, you cannot call functions with args; hence this kludge:
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
70
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
71 (defun volume-aux-markup-1 () (volume-aux-markup "1"))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
72 (defun volume-aux-markup-2 () (volume-aux-markup "2"))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
73
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
74 (defun volume-index-markup-I () (volume-index-markup "I"))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
75 (defun volume-index-markup-II () (volume-index-markup "II"))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
76
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
77 (defun volume-numbers-toc-markup-I () (volume-numbers-toc-markup "I"))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
78 (defun volume-numbers-toc-markup-II () (volume-numbers-toc-markup "II"))
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49600
diff changeset
79
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49600
diff changeset
80 ;;; arch-tag: 848955fe-e9cf-45e7-a2f1-570ef156d6a5