# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 744971095 0
# Node ID 8999762258485443a51c7fee50e8ebb064677c91
# Parent  c14a75fce9c9ac7d1456ac1327d46d7a4e70e883
(texinfo-delete-from-print-queue)
(texinfo-tex-buffer): Load tex-mode to get tex-start-shell, etc.

diff -r c14a75fce9c9 -r 899976225848 lisp/textmodes/texinfo.el
--- a/lisp/textmodes/texinfo.el	Tue Aug 10 05:53:31 1993 +0000
+++ b/lisp/textmodes/texinfo.el	Tue Aug 10 08:24:55 1993 +0000
@@ -673,6 +673,7 @@
   (interactive)
 
   ;; Make sure TeX shell is running.
+  (require 'tex-mode)
   (if (get-buffer "*tex-shell*")
       (quit-process (get-process "tex-shell") t)
     (tex-start-shell))
@@ -730,6 +731,7 @@
 You are prompted for the job number (use a number shown by a previous
 \\[texinfo-show-tex-print-queue] command)."
   (interactive "nPrinter job number for deletion: ")
+  (require 'tex-mode)
   (if (tex-shell-running)
       (tex-kill-job)
     (tex-start-shell))