Update the list of directories passed to py2texi.el. The ordering was

wrong, and commontex/ needed to be added.

diff --git a/Doc/tools/mkinfo b/Doc/tools/mkinfo
index d9527301ae2af039dde2ba0e62dd3f5109573d1a..1c438525ec6b81d4af5675773710cc966cad753c 100755 (executable)
--- 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\")" \