(texinfo-texindex, texinfo-texindex-command): Commented out.
Attach a file by drag & drop or click to upload