* doc/doxyfuns.sty,
	* doc/examples-outputs.mk,
	* doc/examples.mk,
	* doc/examples/dummy.cc,
	* doc/figures.mk,
	* doc/gen-examples-outputs-mk,
	* doc/gen-figures-mk,
	* doc/gen-make-variable,
	* doc/gen-split-examples-mk,
	* doc/gen-split-outputs-mk,
	* doc/graphicx.hva,
	* doc/outputs.mk,
	* doc/outputs/dummy.txt,
	* doc/programs-examples.mk,
	* doc/scribo.sty,
	* doc/split-examples.mk,
	* doc/split-outputs.mk,
	* doc/tools/todoxygen.sh,
	* doc/tutorial.tex:
	Remove.
	* doc/Makefile.am: Adjust and remove useless bits.