## Used to create Makefile.in for the documentation