Repository: boot-floppies who: aph time: Mon May 28 16:27:21 PDT 2001 Log Message: kill the 'official_debian' config var, it was unused (I grepped to be sure); add OFFIALWEBBUILD for the purposes for web documentation building (no one should really set that true, see the comments in the file) Files: changed: config