-
Richard M. Stallman authored
(texinfo-tex-buffer, texinfo-texindex, texinfo-tex-print): Likewise. (texinfo-delete-from-print-queue, texinfo-quit-job): Likewise.
79183f1a
(texinfo-tex-buffer, texinfo-texindex, texinfo-tex-print): Likewise. (texinfo-delete-from-print-queue, texinfo-quit-job): Likewise.