optimize-templates_parser.adb-as-other-sources.diff
handle_build_flags.diff
transmit_setup_to_doc.diff
more-doc-formats.diff
explicit-that-build-doc-target-requires-tp_shared.diff
no-need-for-gprclean.diff
xmlada-split.diff
verbose_makefile.diff
docs-gpr-only-ada.diff
docs-table_if-style-in-parameter.diff
