yatex

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 diff
     1.1 --- a/yatexprc.el	Sun Sep 17 10:25:38 2017 +0859
     1.2 +++ b/yatexprc.el	Mon Oct 30 21:02:35 2017 +0900
     1.3 @@ -1,7 +1,7 @@
     1.4  ;;; yatexprc.el --- YaTeX process handler -*- coding: sjis -*-
     1.5  ;;; 
     1.6  ;;; (c)1993-2017 by HIROSE Yuuji.[yuuji@yatex.org]
     1.7 -;;; Last modified Sun Sep 17 10:22:02 2017 on firestorm
     1.8 +;;; Last modified Mon Oct 30 21:00:21 2017 on firestorm
     1.9  ;;; $Id$
    1.10  
    1.11  ;;; Code:
    1.12 @@ -1308,7 +1308,7 @@
    1.13  	 (ext (if r (cdr r) "")))
    1.14      (and (null r)
    1.15  	 (eq (get 'dvi2-command 'format) 'pdf)
    1.16 -	 (setq ext "pdf"))
    1.17 +	 (setq ext ".pdf"))
    1.18      (concat
    1.19       (if (string= fname "")
    1.20  	 (setq fname (substring (file-name-nondirectory