CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/10/08 17:54:39 Modified files: doc : Makefile.am Makefile.in Added files: doc : user.doxyconf-html.in Log message: We now produce the user's guide also in HTML.