exclude thanks page to avoid lintian error about embedded gif

This commit is contained in:
Joey Hess 2015-08-19 14:12:22 -04:00
parent ac8e2b2396
commit fb8fec2a7b

View file

@ -81,7 +81,7 @@ docs: mans
--plugin=comments --set comments_pagespec="*" \ --plugin=comments --set comments_pagespec="*" \
--exclude='news/.*' --exclude='design/assistant/blog/*' \ --exclude='news/.*' --exclude='design/assistant/blog/*' \
--exclude='bugs/*' --exclude='todo/*' --exclude='forum/*' \ --exclude='bugs/*' --exclude='todo/*' --exclude='forum/*' \
--exclude='users/*' --exclude='devblog/*' --exclude='users/*' --exclude='devblog/*' --exclude='thanks'
clean: clean:
rm -rf tmp dist git-annex $(mans) configure *.tix .hpc \ rm -rf tmp dist git-annex $(mans) configure *.tix .hpc \