mirror of
https://gitlab.gnome.org/GNOME/glib.git
synced 2024-11-05 08:56:16 +01:00
b60168a5f5
I don't see a good reason for this - if man page generation is disabled, man pages are not produced, and things like 'make dist' will fail. That is simpler and better. https://bugzilla.gnome.org/show_bug.cgi?id=681336 |
||
---|---|---|
.. | ||
reference | ||
debugging.txt | ||
macros.txt | ||
Makefile.am |