From 8846542af7011b98ec8684225f5a124d0370e346 Mon Sep 17 00:00:00 2001 From: Jo Shields Date: Mon, 12 Aug 2019 11:25:04 -0400 Subject: [PATCH] Add missing man page (cherry picked from commit 18c4f263a94c5708a5dab3497b0232a696b28367) Former-commit-id: 8c01f4d19cc347c976f3574b36adaf92bdf78475 --- debian/mono-devel.manpages | 1 + 1 file changed, 1 insertion(+) diff --git a/debian/mono-devel.manpages b/debian/mono-devel.manpages index af9be9179a..c52501ba0b 100644 --- a/debian/mono-devel.manpages +++ b/debian/mono-devel.manpages @@ -1,6 +1,7 @@ debian/tmp/usr/share/man/man1/al.1 debian/man/caspol.1 debian/tmp/usr/share/man/man1/lc.1 +debian/tmp/usr/share/man/man1/aprofutil.1 debian/tmp/usr/share/man/man1/cccheck.1 debian/tmp/usr/share/man/man1/cert2spc.1 debian/tmp/usr/share/man/man1/certmgr.1