diff --git a/debian/changelog b/debian/changelog index bb24e3d62..6267fe969 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,7 +2,7 @@ linux (4.1.1-1~exp2) UNRELEASED; urgency=medium * Fix more issues that prevent a reproducible build: - linux-doc: DocBook: generate consistent IDs - - linux-doc: DocBook: Fix duplicate man pages + - linux-manual: DocBook: Fix duplicate man pages - linux-manual: kernel-doc: Use $KBUILD_BUILD_TIMESTAMP as man page date -- Ben Hutchings Tue, 07 Jul 2015 16:25:05 +0100