ignore html and pdf files when doing stuff like make tags
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 13 Jan 2017 11:10:38 +0000 (12:10 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 13 Jan 2017 11:10:38 +0000 (12:10 +0100)
commitf857533f5e3535599eb4b74b8ac214e50370a542
treeb3c8d537a042986abf8b4c1eb4f98454744e91e1
parent0827758c72325a35df2cbc888bb1235a5b4e6246
ignore html and pdf files when doing stuff like make tags
Makefile