diff options
| author | Colin Walters <walters@verbum.org> | 2015-06-03 16:11:08 -0400 |
|---|---|---|
| committer | Colin Walters <walters@verbum.org> | 2015-06-03 16:11:08 -0400 |
| commit | b19b4637c5d357f50f34a073a134e9dcd727fa1f (patch) | |
| tree | 10a4cfa821a65e91b5266536afa611550c3ffdfe /docs | |
| parent | 48e646918efb2bf0b3b505747655726d7869f31c (diff) | |
| download | polkit-b19b4637c5d357f50f34a073a134e9dcd727fa1f.tar.gz | |
build: Start using git.mk
I was looking at:
https://bugs.freedesktop.org/show_bug.cgi?id=85504
But polkit, particularly because of its use of recursive make, is a
good fit for git.mk.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile.am | 2 | ||||
| -rw-r--r-- | docs/man/Makefile.am | 2 | ||||
| -rw-r--r-- | docs/polkit/Makefile.am | 2 |
3 files changed, 6 insertions, 0 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index ccae4ce..8d7da9d 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -2,3 +2,5 @@ SUBDIRS = man polkit EXTRA_DIST = version.xml.in + +-include $(top_srcdir)/git.mk diff --git a/docs/man/Makefile.am b/docs/man/Makefile.am index 86e1532..0b2dc44 100644 --- a/docs/man/Makefile.am +++ b/docs/man/Makefile.am @@ -28,3 +28,5 @@ EXTRA_DIST = \ clean-local: rm -f *~ *.1 *.8 + +-include $(top_srcdir)/git.mk diff --git a/docs/polkit/Makefile.am b/docs/polkit/Makefile.am index 9cf9d3f..cd163b4 100644 --- a/docs/polkit/Makefile.am +++ b/docs/polkit/Makefile.am @@ -103,3 +103,5 @@ CLEANFILES += *~ \ -rf html xml \ $(NULL) + +-include $(top_srcdir)/git.mk |