> There is a Makefile for this task at the top-level of the documentation > directory: THANKS so much Rainer, I'd have never found this myself, since I had checked out the sub-dir guide only. :) Will check out the parent directory now.