mirror of
https://gitlab.gnome.org/GNOME/glib.git
synced 2025-08-05 00:43:40 +02:00
Clean up man page handling
Remove all formatted man pages from git, and use the same Makefile fragment in all doc dirs.
This commit is contained in:
@@ -67,19 +67,36 @@ EXTRA_DIST += \
|
||||
|
||||
########################################################################
|
||||
|
||||
man_MANS = glib-mkenums.1 glib-genmarshal.1 gobject-query.1
|
||||
man_MANS = \
|
||||
glib-mkenums.1 \
|
||||
glib-genmarshal.1 \
|
||||
gobject-query.1
|
||||
|
||||
if ENABLE_MAN
|
||||
|
||||
%.1 : %.xml
|
||||
@XSLTPROC@ -nonet http://docbook.sourceforge.net/release/xsl/current/manpages/docbook.xsl $<
|
||||
.xml.1:
|
||||
XSLTPROC@ -nonet http://docbook.sourceforge.net/release/xsl/current/manpages/docbook.xsl $<
|
||||
|
||||
dist-local-check-mans-enabled:
|
||||
if grep "Man generation disabled" $(man_MANS) >/dev/null; then $(RM) $(man_MANS); fi
|
||||
|
||||
else
|
||||
|
||||
$(man_MANS):
|
||||
echo Man generation disabled. Creating dummy $@. Configure with --enable-man to enable it.
|
||||
echo Man generation disabled. Remove this file, configure with --enable-man, and rebuild > $@
|
||||
|
||||
dist-local-check-mans-enabled:
|
||||
echo "*** --enable-man must be used in order to make dist"
|
||||
false
|
||||
|
||||
endif
|
||||
|
||||
BUILT_EXTRA_DIST = $(man_MANS)
|
||||
MAINTAINERCLEANFILES = $(man_MANS) $(BUILT_SOURCES)
|
||||
|
||||
dist-hook-local: $(BUILT_EXTRA_DIST)
|
||||
files='$(BUILT_EXTRA_DIST)'; \
|
||||
for f in $$files; do \
|
||||
if test -f $$f; then d=.; else d=$(srcdir); fi; \
|
||||
cp $$d/$$f $(distdir) || exit 1; done
|
||||
EXTRA_DIST += $(man_MANS)
|
||||
|
||||
dist-hook-local: dist-local-check-mans-enabled gobject-docs-clean all-local
|
||||
|
||||
gobject-docs-clean: clean
|
||||
cd $(srcdir) && rm -rf xml html
|
||||
|
Reference in New Issue
Block a user