doc/specification.pdf
doc/specification.aux
doc/specification.log
doc/specification.out
doc/specification.toc
debian/belenios-tool.1
