diff options
| author | Paul Eggert | 2011-11-19 19:07:02 -0800 |
|---|---|---|
| committer | Paul Eggert | 2011-11-19 19:07:02 -0800 |
| commit | 615a3b8d0d2c88cd664f1e0beb5a32b5b8e08f90 (patch) | |
| tree | e0458a9eac443c36a3a4bfa117fde01bbd6e4140 /admin/admin.el | |
| parent | c3ca24d48c10fb771ee02eb58f7d49bd82d6306e (diff) | |
| parent | e1dbe924b53c541fdf238a5a722b7177d5c8760b (diff) | |
| download | emacs-615a3b8d0d2c88cd664f1e0beb5a32b5b8e08f90.tar.gz emacs-615a3b8d0d2c88cd664f1e0beb5a32b5b8e08f90.zip | |
Merge from trunk.
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." | |||
| 330 | 330 | ||
| 331 | (defun manual-dvi (texi-file dest ps-dest) | 331 | (defun manual-dvi (texi-file dest ps-dest) |
| 332 | "Run texi2dvi on TEXI-FILE, emitting dvi output to DEST. | 332 | "Run texi2dvi on TEXI-FILE, emitting dvi output to DEST. |
| 333 | Also generate postscript output in PS-DEST." | 333 | Also generate PostScript output in PS-DEST." |
| 334 | (call-process "texi2dvi" nil nil nil texi-file "-o" dest) | 334 | (call-process "texi2dvi" nil nil nil texi-file "-o" dest) |
| 335 | (call-process "dvips" nil nil nil dest "-o" ps-dest) | 335 | (call-process "dvips" nil nil nil dest "-o" ps-dest) |
| 336 | (call-process "gzip" nil nil nil dest) | 336 | (call-process "gzip" nil nil nil dest) |