2002-02-14  Nick Drochak  <ndrochak@gol.com>

	* doctools.build: Fix build script so doctools will compile (doesn't run yet though)