doc/instructions-en.html
doc/instructions-fr.html
doc/specification.pdf
doc/specification.aux
doc/specification.log
doc/specification.out
doc/specification.toc
doc/specification.bbl
doc/specification.blg
doc/specification.rubbercache
debian/belenios-tool.1
