2017-10-08 20:36:28 +02:00
|
|
|
;;; Texinfo
|
2016-10-14 14:03:30 +02:00
|
|
|
|
2017-10-08 20:36:28 +02:00
|
|
|
;;; We use the TeX setup.
|
2014-02-27 10:27:47 +01:00
|
|
|
(require 'tex-mode)
|
2014-02-21 15:23:25 +01:00
|
|
|
(require 'mode-tex)
|
2013-06-12 23:40:20 +02:00
|
|
|
|
2017-05-15 07:46:20 +02:00
|
|
|
(local-set-key (kbd "C-c C-b") 'texinfo-menu-update)
|
|
|
|
|
2013-09-28 17:22:47 +02:00
|
|
|
(defun texinfo-menu-update ()
|
2013-06-12 23:40:20 +02:00
|
|
|
"Update texinfo node menu automatically."
|
|
|
|
(interactive)
|
2013-09-28 17:22:47 +02:00
|
|
|
(hack-local-variables)
|
2017-05-24 00:27:02 +02:00
|
|
|
(texinfo-multiple-files-update (or tex-master-file buffer-file-name) t 8))
|
2013-06-12 23:40:20 +02:00
|
|
|
|
2017-05-28 12:03:28 +02:00
|
|
|
(defun texinfo-set-compiler ()
|
|
|
|
(set (make-local-variable 'tex-extension-list)
|
|
|
|
'("aux" "cp" "cps" "fn" "ky" "log" "pg" "toc" "tp" "vr" "vrs"))
|
|
|
|
(set (make-local-variable 'tex-start-options) nil)
|
|
|
|
(set (make-local-variable 'tex-command) "texi2pdf -b")
|
|
|
|
(tex-set-compiler))
|
|
|
|
|
2017-10-08 20:36:28 +02:00
|
|
|
;;; For some reason, Texinfo-mode forces the fill-column to 70...
|
2017-06-16 16:29:52 +02:00
|
|
|
(dolist (fun '(texinfo-set-compiler reset-fill-column))
|
|
|
|
(add-hook 'texinfo-mode-hook fun))
|
2014-02-27 10:27:47 +01:00
|
|
|
|
2017-06-18 18:50:31 +02:00
|
|
|
(provide 'init-texinfo)
|