diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-08-19 14:12:22 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-08-19 14:12:22 -0400 |
commit | b742823f8ffbadf1a23b7ea393201b5811cb850e (patch) | |
tree | 9f65428035a9d44eb23bfd4ae63e7559de054b9f | |
parent | 6694c2700946bf790ff17213f7b9d6dc4b91c327 (diff) |
exclude thanks page to avoid lintian error about embedded gif
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 \ |