diff options
Diffstat (limited to 'Doc/tools')
| -rwxr-xr-x | Doc/tools/mkinfo | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Doc/tools/mkinfo b/Doc/tools/mkinfo index 1c43852..be75168 100755 --- a/Doc/tools/mkinfo +++ b/Doc/tools/mkinfo @@ -38,6 +38,8 @@ cd $DOCDIR DOCDIR=`pwd` cd $WORKDIR +COMMONDIR="`dirname $DOCDIR`/commontex" + run() { # show what we're doing, like make does: @@ -49,7 +51,7 @@ run() { # generate the Texinfo file: run $EMACS -batch -q --no-site-file -l $TOOLSDIR/py2texi.el \ - --eval "(setq py2texi-dirs '(\"$DOCDIR\" \"../commontex\" \"../texinputs\"))" \ + --eval "(setq py2texi-dirs '(\"$DOCDIR\" \"$COMMONDIR\" \"../texinputs\"))" \ --eval "(setq py2texi-texi-file-name \"$TEXINAME\")" \ --eval "(setq py2texi-info-file-name \"$INFONAME\")" \ --eval "(py2texi \"$DOCDIR/$DOCFILE\")" \ |