Ian Lynagh writes: > echo "SGMLDocWays := html dvi ps" >> mk/build.mk This works great! Is there any chance I can "extend" this technique so that it will include the documentation of, say happy, haddock, and alex as well? Peter P. S.: I'm sorry ... I guess I should really read the documentation of the fptools myself. :-)