diff options
author | Guillem Jover <guillem@debian.org> | 2017-07-08 18:10:04 +0200 |
---|---|---|
committer | Guillem Jover <guillem@debian.org> | 2017-07-11 03:29:14 +0200 |
commit | 82dbfea51d1a44b13d2e4fb8cc4f06b534d39c29 (patch) | |
tree | fedc4913cd3f0b350e5d8db149e7b556febd4ee9 /man/Makefile.am | |
parent | f02d4572568398a55503351d9e5d04212a4207fc (diff) | |
download | dpkg-82dbfea51d1a44b13d2e4fb8cc4f06b534d39c29.tar.gz |
man: Move deb-version man page to section 7
This man page does not describe a file format, move it to the
conventions section.
Diffstat (limited to 'man/Makefile.am')
-rw-r--r-- | man/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index 550078d28..6405f0bf1 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -8,7 +8,7 @@ man_MANS = \ deb-control.5 \ deb-src-control.5 \ deb-src-files.5 \ - deb-version.5 \ + deb-version.7 \ deb-shlibs.5 \ deb-split.5 \ deb-substvars.5 \ @@ -213,6 +213,8 @@ MANGEN = $(MANGEN_V) sed \ $(MANGEN) $< >$@ .man.5: Makefile $(MANGEN) $< >$@ +.man.7: Makefile + $(MANGEN) $< >$@ .man.8: Makefile $(MANGEN) $< >$@ |