# For special configuration, especially for docs. Otherwise see README. include ../cho-cabal-make.inc