-
Emmanuele Bassi authored
The GNOME Continuous integration system does not build the documentation, to avoid the DocBook dependencies, and to avoid excessive build times.
923e899a
The GNOME Continuous integration system does not build the documentation, to avoid the DocBook dependencies, and to avoid excessive build times.