diff options
| author |  Miek Gieben <miek@miek.nl>
| 2019-06-26 11:18:03 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2019-06-26 11:18:03 +0100 |
| commit | d4d019d749c8cfdd02a1151b7ed8b24f40ce508d (patch) | |
| tree | 7edbef174bd4144bc810fd03f28b9a5b0f504094 /Makefile.doc | |
| parent | ad352cee88a6be7154e55a2eb0ef1f95ffa858df (diff) | |
| download | coredns-d4d019d749c8cfdd02a1151b7ed8b24f40ce508d.tar.gz coredns-d4d019d749c8cfdd02a1151b7ed8b24f40ce508d.tar.zst coredns-d4d019d749c8cfdd02a1151b7ed8b24f40ce508d.zip | |
docs: Makefile.release and Makefile.doc (#2926)
* add metrics for reload
* documented release process better
* run: Makefile.doc all to push reload doc to man-pages
Signed-off-by: Miek Gieben <miek@miek.nl>
Diffstat (limited to 'Makefile.doc')
| -rw-r--r-- | Makefile.doc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile.doc b/Makefile.doc index 3a426f931..95f4e1c6a 100644 --- a/Makefile.doc +++ b/Makefile.doc @@ -1,3 +1,8 @@ +# This Makefile generates the manual pages from the markdown README.mds. It depends +# on https://github.com/mmarkdown/mmark to be installed. Generally we want this to be +# updated before doing a release. The Debian package, for instance, looks at these pages +# and will install them on your system. + MMARK:=mmark -man PLUGINS:=$(wildcard plugin/*/README.md) READMES:=$(subst plugin/,,$(PLUGINS)) |