New PATCH release 07.00.01 Changes since 07.00.00: do not install dummy configuration when installing to the DOOCS directory, as this makes problems when installing from the Debian package
New PATCH release 07.00.01 Changes since 07.00.00: do not install dummy configuration when installing to the DOOCS directory, as this makes problems when installing from the Debian package