*.vo                      /usr/lib/coq/user-contrib/AACTactics/
doc/*                     /usr/share/doc/libaac-tactics-coq/api
html/*                    /usr/share/doc/libaac-tactics-coq/theories