mirrors/monado
1
0
Fork 0
mirror of https://gitlab.freedesktop.org/monado/monado.git synced 2025-01-01 12:46:12 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

doc: Document !1891

Browse source
This commit is contained in:
Jakob Bornecrantz 2023-06-30 12:12:01 +01:00
parent af3f1615d2
commit acde32ab2a
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
doc/changes/doc/mr.1891.md Normal file
View file

@ -0,0 +1,2 @@
Don't build documentation by default, it is fairly heavy for end users. Also
makes the CI scripts cleaner as they don't need to disabled it everywhere.