doc/giac.js
doc/fr/
doc/*/texinfo.tex
doc/texinfo.tex
