Removed some of the detailed targets as Alexandre asked. configure must be rebuilt after (I only have autoconf 2.53, and the CVS configure has been made by autoconf 2.54). Changelog: The default behavior of "make everything" is now to build separate guides rather than the big one. Determines the name of the installed docbook filter (db2html or docbook2html, etc.) in configure, defaulting to false if absent. Vincent
