Dependency on texinfo - tex/latex packages fonts

[bondhugula]

Cloog's build (default make target) currently depends not just on texinfo but on the installation of a large number of other tex/latex/fonts packages just so that the doc manual can be built. While these are readily available in Ubuntu/Fedora repos, if one doesn't know the minimum number of packages needed, several hundred MBs of packages need to be installed to just satisfy this dependency: it's not just texinfo but a good amount of the tex installation including fonts are needed to build the manual. I often need to recall the package names, and it even crosses a GB sometimes on a system that otherwise doesn't have/need texlive. (I think one needs to install texinfo, texlive-latex-recommended, texlive-fonts-recommended, texlive-fonts-extra -- it's more than a GB IIRC.)

Can the build of the manual be removed from all default targets and from 'make all'? It can be optional.

make[1]: Entering directory '/home/uday/pluto/cloog-isl'
  CCLD     libcloog-isl.la
texi2dvi -I ./doc --pdf doc/cloog.texi -o doc/cloog.pdf
/bin/bash: line 1: texi2dvi: command not found
make[1]: *** [Makefile:2308: doc/cloog.pdf] Error 127
make[1]: *** Waiting for unfinished jobs....
make[1]: Leaving directory '/home/uday/pluto/cloog-isl'
make: *** [Makefile:1581: all-recursive] Error 1

[bondhugula]

Does this issue still exist? It is indeed a big inconvenience to have a user install 100s of MBs of texlive font packages to have cloog build succeed! It's a common build failure issue without them.

[bondhugula]

Note that even if texinfo is installed, texi2dvi will not succeed unless relevant font packages have been installed.