However, skip building the docs (and output warnings) if XML support is missing. This allows `make install` to succeed w/o `make dist`.
