annotate etc/auctex/style/latexinfo.el @ 118:7d55a9ba150c r20-1b11

Import from CVS: tag r20-1b11
author cvs
date Mon, 13 Aug 2007 09:24:17 +0200
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
118
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
1 ;;; latexinfo.el - Support for LaTeXinfo files.
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
2
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
3 ;; Copyright (C) 1993 Marc Gemis <makke@wins.uia.ac.be>
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
4
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
5 ;; Author: Marc Gemis <makke@wins.uia.ac.be>
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
6 ;; Version: $Id: latexinfo.el,v 1.1 1997/04/05 17:56:47 steve Exp $
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
7
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
8 ;; This program is free software; you can redistribute it and/or modify
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
9 ;; it under the terms of the GNU General Public License as published by
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
10 ;; the Free Software Foundation; either version 2, or (at your option)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
11 ;; any later version.
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
12 ;;
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
13 ;; This program is distributed in the hope that it will be useful,
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
14 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
15 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
16 ;; GNU General Public License for more details.
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
17 ;;
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
18 ;; You should have received a copy of the GNU General Public License
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
19 ;; along with this program; if not, write to the Free Software
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
20 ;; Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
21
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
22 ;;; Code:
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
23
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
24 (require 'latex)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
25
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
26 ;;; LaTeXinfo mode
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
27
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
28 (defvar TeX-latexinfo-node-regexp
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
29 '("\\\\node[ \t]+\\([^,\n\r%]+\\)" 1 TeX-auto-label)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
30 "Matches LaTeXinfo \\node commands, only current node will be found.
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
31 We ignore next, previous and up fields.")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
32
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
33 (defvar LaTeXinfo-mode nil
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
34 "Non-nil means LaTeXinfo minor mode is active.")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
35 (make-variable-buffer-local 'LaTeXinfo-mode)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
36
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
37 (defvar LaTeXinfo-mode-map nil
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
38 "Keymap containing LaTeXinfo commands.")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
39
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
40 (if LaTeXinfo-mode-map
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
41 ()
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
42 (setq LaTeXinfo-mode-map (make-sparse-keymap))
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
43 (define-key LaTeXinfo-mode-map "\C-c\C-u\C-b" 'latexinfo-format-buffer)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
44 (define-key LaTeXinfo-mode-map "\C-c\C-u\C-r" 'latexinfo-format-region)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
45 (define-key LaTeXinfo-mode-map "\C-c\C-u\C-s" 'latexinfo-show-structure)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
46 (define-key LaTeXinfo-mode-map "\C-c\C-ud" 'makke:latexinfo-delete-structure)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
47 (define-key LaTeXinfo-mode-map "\C-c\C-ug" 'latexinfo-goto-node)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
48 (define-key LaTeXinfo-mode-map "\C-c\C-ui" 'makke:latexinfo-structure))
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
49
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
50 (or (assq 'LaTeXinfo-mode minor-mode-map-alist)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
51 (setq minor-mode-map-alist
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
52 (cons (cons 'LaTeXinfo-mode LaTeXinfo-mode-map)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
53 minor-mode-map-alist)))
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
54
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
55 (defun TeX-arg-latexinfo-index (optional &optional prompt)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
56 "Prompt for a LaTeXinfo index type with completion."
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
57 (TeX-argument-insert
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
58 (completing-read (TeX-argument-prompt optional prompt "Index")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
59 '(("cp") ("vr") ("fn") ("tp") ("pg") ("ky"))
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
60 nil t)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
61 optional))
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
62
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
63 (defun LaTeX-item-latexinfo-menu ()
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
64 "Insert a new menu item"
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
65 (insert "* ::")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
66 (backward-char 2))
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
67
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
68 (defun latexinfo-goto-node () ; temporarily here, later in latexinfo-upd.el ??
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
69 "Place pointer on the node given by the user, read node with completion
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
70 This fails when the user types in the label of something else"
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
71 (interactive)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
72 (let ((node-name (completing-read "Goto Node: " (LaTeX-label-list))))
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
73 (goto-char (point-min))
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
74 (if (re-search-forward
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
75 (concat
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
76 TeX-esc "node[ \\t]+" node-name ","
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
77 "\\|"
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
78 TeX-esc "label{" LaTeX-section-label node-name
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
79 "\\|"
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
80 TeX-esc "label{" node-name
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
81 )
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
82 (point-max) t)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
83 (beginning-of-line 1)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
84 (error "No such node"))))
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
85
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
86 ;;; Hook
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
87
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
88 (TeX-add-style-hook "latexinfo"
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
89 (function
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
90 (lambda ()
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
91 (require 'latexinfo)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
92 (require 'latexinfo-structure)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
93
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
94 (require 'min-map)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
95 (setq LaTeXinfo-mode t)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
96
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
97 (TeX-auto-add-regexp TeX-latexinfo-node-regexp)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
98
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
99 (TeX-add-symbols
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
100 '("node"
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
101 (TeX-arg-literal " ")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
102 (TeX-arg-free TeX-arg-define-label "Node name")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
103 (TeX-arg-literal ", ")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
104 (TeX-arg-free TeX-arg-label "Next node")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
105 (TeX-arg-literal ", ")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
106 (TeX-arg-free TeX-arg-label "Previous node")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
107 (TeX-arg-literal ", ")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
108 (TeX-arg-free TeX-arg-label "Up node"))
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
109 '("setfilename" TeX-arg-file)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
110
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
111 '("var" t)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
112 '("dfn" t)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
113 '("emph" t)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
114 '("kbd" t)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
115 '("code" t)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
116 '("samp" t)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
117 '("key" t)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
118 '("ctrl" t)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
119 '("file" t)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
120
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
121 '("comment"
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
122 (TeX-arg-literal " ")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
123 (TeX-arg-free "Comment"))
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
124 '("c"
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
125 (TeX-arg-literal " ")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
126 (TeX-arg-free "Comment"))
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
127
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
128 '("cindex" t)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
129 '("cpsubindex" 2)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
130 '("cpindexbold" t)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
131
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
132 '("newindex" TeX-arg-latexinfo-index)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
133
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
134 '("br" nil)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
135 '("w" "Text")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
136 '("dots" nil)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
137 '("refill" nil)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
138 '("bullet" nil)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
139 '("copyright" nil)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
140 '("sp" nil)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
141
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
142 '("xref" TeX-arg-label)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
143 '("pxref" TeX-arg-label)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
144 '("inforef"
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
145 (TeX-arg-literal "{")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
146 (TeX-arg-free "Name of node")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
147 (TeX-arg-literal ", ")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
148 (TeX-arg-free "Name for note")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
149 (TeX-arg-literal ", ")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
150 (TeX-arg-free TeX-arg-file "Info file")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
151 (TeX-arg-literal "}")))
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
152
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
153 (LaTeX-add-environments "menu" "tex" "ignore" "ifinfo" "iftex"
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
154 "example" "same" "display" "format")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
155
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
156 ; Menu's have a special kind of items
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
157 (make-local-variable 'LaTeX-item-list)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
158 (setq LaTeX-item-list (cons '("menu" . LaTeX-item-latexinfo-menu)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
159 LaTeX-item-list))
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
160
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
161 (make-local-variable 'TeX-font-list)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
162 (setq TeX-font-list
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
163 (list (list ?\C-b (concat TeX-esc "b{") "}")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
164 (list ?\C-c (concat TeX-esc "sc{") "}")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
165 (list ?\C-e (concat TeX-esc "emph{") "}")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
166 (list ?\C-i (concat TeX-esc "i{") "}")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
167 (list ?\C-r (concat TeX-esc "r{") "}")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
168 (list ?\C-s (concat TeX-esc "samp{") "}")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
169 (list ?\C-t (concat TeX-esc "t{") "}")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
170 (list ?s (concat TeX-esc "strong{") "}")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
171 (list ?\C-f (concat TeX-esc "file{") "}")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
172 (list ?\C-d (concat TeX-esc "dfn{") "}")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
173 (list ?\C-v (concat TeX-esc "var{") "}")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
174 (list ?k (concat TeX-esc "key{") "}")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
175 (list ?\C-k (concat TeX-esc "kbd{") "}")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
176 (list ?c (concat TeX-esc "code{") "}")
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
177 (list ?C (concat TeX-esc "cite{") "}")))
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
178
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
179 ;; need the following stuff to let xref and pxref work
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
180 (make-local-variable 'LaTeX-section-label)
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
181 (setq LaTeX-section-label ""))))
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
182
7d55a9ba150c Import from CVS: tag r20-1b11
cvs
parents:
diff changeset
183 ;;; latexinfo.el ends here