diff options
Diffstat (limited to 'Doc/tools')
| -rwxr-xr-x | Doc/tools/mkinfo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/tools/mkinfo b/Doc/tools/mkinfo index d952730..1c43852 100755 --- a/Doc/tools/mkinfo +++ b/Doc/tools/mkinfo @@ -49,7 +49,7 @@ run() { # generate the Texinfo file: run $EMACS -batch -q --no-site-file -l $TOOLSDIR/py2texi.el \ - --eval "(setq py2texi-dirs '(\"./\" \"../texinputs/\" \"$DOCDIR\"))" \ + --eval "(setq py2texi-dirs '(\"$DOCDIR\" \"../commontex\" \"../texinputs\"))" \ --eval "(setq py2texi-texi-file-name \"$TEXINAME\")" \ --eval "(setq py2texi-info-file-name \"$INFONAME\")" \ --eval "(py2texi \"$DOCDIR/$DOCFILE\")" \ |