EXTRA_DIST += doc/format.txt doc/parallelism.txt doc/mainpage.dox