From b742823f8ffbadf1a23b7ea393201b5811cb850e Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Wed, 19 Aug 2015 14:12:22 -0400 Subject: exclude thanks page to avoid lintian error about embedded gif --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 1e657d0da..f468e1b0b 100644 --- a/Makefile +++ b/Makefile @@ -81,7 +81,7 @@ docs: mans --plugin=comments --set comments_pagespec="*" \ --exclude='news/.*' --exclude='design/assistant/blog/*' \ --exclude='bugs/*' --exclude='todo/*' --exclude='forum/*' \ - --exclude='users/*' --exclude='devblog/*' + --exclude='users/*' --exclude='devblog/*' --exclude='thanks' clean: rm -rf tmp dist git-annex $(mans) configure *.tix .hpc \ -- cgit v1.2.3