configure: Generate some documentation into Makefile.config.