Skip to content

doc: exempt web from .xref-map dependency

Han-Wen Nienhuys requested to merge dev/hanwen/web-xrefs into master

As the 'web' document doesn't link directly to Learning Manual or Notation Manual, it is not necessary to build all xref maps as a prerequisite.

This reduces the overhead of the "make website" target.

Merge request reports