diff --git a/Doc/tools/mkinfo b/Doc/tools/mkinfo
index 1c438525ec6..be75168fd24 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\")" \