projects / platform / upstream / glib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4cd5a63) | patch
Remove man page placeholder generation
authorMatthias Clasen <mclasen@redhat.com>
Wed, 8 Aug 2012 14:01:47 +0000 (10:01 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 16 Aug 2012 22:06:11 +0000 (18:06 -0400)
commitb60168a5f5b4bcfa8f8ed175cd18a0cfaea96063
treecc7432008d3fbe461443c0f334378353a1f3ebf1tree | snapshot
parent4cd5a63f12357b6ed6314cfed237965dba0aaeaecommit | diff
Remove man page placeholder generation

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
docs/reference/gio/Makefile.am diff | blob | history
docs/reference/glib/Makefile.am diff | blob | history
docs/reference/gobject/Makefile.am diff | blob | history
Domain: System / Base;