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