doc/make.texi needed for travis. config-flags.pm is derived.