[PPL-devel] Polyhedra/doc Makefile.am Makefile.in user.dox ...