mirror of
https://gitlab.gnome.org/GNOME/glib.git
synced 2025-01-26 14:06:15 +01:00
Clean up man pages on 'clean'
Follow the automake heuristic that says "if 'make' created it, 'make clean' should remove it". https://bugzilla.gnome.org/show_bug.cgi?id=681336
This commit is contained in:
parent
ce531302cd
commit
4cd5a63f12
@ -179,7 +179,7 @@ dist-local-check-mans-enabled:
|
||||
|
||||
endif
|
||||
|
||||
MAINTAINERCLEANFILES = $(man_MANS) $(BUILT_SOURCES)
|
||||
CLEANFILES += $(man_MANS)
|
||||
|
||||
EXTRA_DIST += $(man_MANS)
|
||||
|
||||
|
@ -127,7 +127,7 @@ dist-local-check-mans-enabled:
|
||||
|
||||
endif
|
||||
|
||||
MAINTAINERCLEANFILES = $(man_MANS) $(BUILT_SOURCES)
|
||||
CLEANFILES += $(man_MANS)
|
||||
|
||||
EXTRA_DIST += $(man_MANS)
|
||||
|
||||
|
@ -102,7 +102,7 @@ dist-local-check-mans-enabled:
|
||||
|
||||
endif
|
||||
|
||||
MAINTAINERCLEANFILES = $(man_MANS) $(BUILT_SOURCES)
|
||||
CLEANFILES += $(man_MANS)
|
||||
|
||||
EXTRA_DIST += $(man_MANS)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user