Commit 0c80ad06fd
broke MacOS X builds
because of this discrepancy. It would be easy to accept both, but I
think it is better to be consistent with gbuild.
Create HTML pages from C++, Java and IDL inline documentation. Part of the SDK; to build you need to add --enable-odk.