Closed stefanw closed 11 years ago
This becomes relevant when building docs as HTML directories instead of files.
This becomes relevant when building docs as HTML directories instead of files.