-
Benoit Perrot authored
from Benoît Perrot <benoit@lrde.epita.fr> Restore distcheck with automake1.8 * Makefile.am: Distribute inst-solver-gen.py. * dev/doc-inst-set-gen.py, * doc/mipsy.texi: Suggested by Akim Demaille: do not use commands in @node. The file texinfo.tex from automake1.8 does not handle it, leading to make dvi failure, leading to make distcheck failure. * doc/Makefile.am: Do not distribute deprecated files anymore.
7b3c59df