diff options
Diffstat (limited to 'admin/admin.el')
-rw-r--r-- | admin/admin.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/admin.el b/admin/admin.el index 673d86c8825..9235144f6c6 100644 --- a/admin/admin.el +++ b/admin/admin.el @@ -330,7 +330,7 @@ the @import directive." (defun manual-dvi (texi-file dest ps-dest) "Run texi2dvi on TEXI-FILE, emitting dvi output to DEST. -Also generate postscript output in PS-DEST." +Also generate PostScript output in PS-DEST." (call-process "texi2dvi" nil nil nil texi-file "-o" dest) (call-process "dvips" nil nil nil dest "-o" ps-dest) (call-process "gzip" nil nil nil dest) |