changeset 499:16763e5b7481 dev

Extension should include period. Fixed
author HIROSE Yuuji <yuuji@gentei.org>
date Mon, 30 Oct 2017 21:02:35 +0900
parents c0827f80b18e
children db7a90bd4621
files yatexprc.el
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/yatexprc.el	Sun Sep 17 10:25:38 2017 +0859
+++ b/yatexprc.el	Mon Oct 30 21:02:35 2017 +0900
@@ -1,7 +1,7 @@
 ;;; yatexprc.el --- YaTeX process handler -*- coding: sjis -*-
 ;;; 
 ;;; (c)1993-2017 by HIROSE Yuuji.[yuuji@yatex.org]
-;;; Last modified Sun Sep 17 10:22:02 2017 on firestorm
+;;; Last modified Mon Oct 30 21:00:21 2017 on firestorm
 ;;; $Id$
 
 ;;; Code:
@@ -1308,7 +1308,7 @@
 	 (ext (if r (cdr r) "")))
     (and (null r)
 	 (eq (get 'dvi2-command 'format) 'pdf)
-	 (setq ext "pdf"))
+	 (setq ext ".pdf"))
     (concat
      (if (string= fname "")
 	 (setq fname (substring (file-name-nondirectory

yatex.org