comparison lisp/textmodes/texinfo.el @ 4531:899976225848

(texinfo-delete-from-print-queue) (texinfo-tex-buffer): Load tex-mode to get tex-start-shell, etc.
author Richard M. Stallman <rms@gnu.org>
date Tue, 10 Aug 1993 08:24:55 +0000
parents 1be9089f7721
children 9591fdbc2868
comparison
equal deleted inserted replaced
4530:c14a75fce9c9 4531:899976225848
671 (defun texinfo-tex-buffer () 671 (defun texinfo-tex-buffer ()
672 "Run TeX on visited file, once or twice, to make a correct `.dvi' file." 672 "Run TeX on visited file, once or twice, to make a correct `.dvi' file."
673 (interactive) 673 (interactive)
674 674
675 ;; Make sure TeX shell is running. 675 ;; Make sure TeX shell is running.
676 (require 'tex-mode)
676 (if (get-buffer "*tex-shell*") 677 (if (get-buffer "*tex-shell*")
677 (quit-process (get-process "tex-shell") t) 678 (quit-process (get-process "tex-shell") t)
678 (tex-start-shell)) 679 (tex-start-shell))
679 680
680 (cond ((null buffer-file-name) 681 (cond ((null buffer-file-name)
728 (defun texinfo-delete-from-print-queue (job-number) 729 (defun texinfo-delete-from-print-queue (job-number)
729 "Delete job from the line printer spooling queue. 730 "Delete job from the line printer spooling queue.
730 You are prompted for the job number (use a number shown by a previous 731 You are prompted for the job number (use a number shown by a previous
731 \\[texinfo-show-tex-print-queue] command)." 732 \\[texinfo-show-tex-print-queue] command)."
732 (interactive "nPrinter job number for deletion: ") 733 (interactive "nPrinter job number for deletion: ")
734 (require 'tex-mode)
733 (if (tex-shell-running) 735 (if (tex-shell-running)
734 (tex-kill-job) 736 (tex-kill-job)
735 (tex-start-shell)) 737 (tex-start-shell))
736 (send-string "tex-shell" 738 (send-string "tex-shell"
737 (concat 739 (concat