Instead of creating lots of files during configure, create those files (where possible) rather at build time. This reduces the need to run configure when e.g. changing a man page containing a path defined by the configure run.
Changes in V2: - dropped patch 1 as already applied - no longer rename files to *.src - don't use pattern rule Juergen Gross (4): build: add make macro for making file from file.in docs: replace @xxx@ markers at build time config: remove unused paths from config/Paths.mk.in tools: replace @xxx@ markers at build time .gitignore | 1 + Config.mk | 13 +++++++++++++ config/Paths.mk.in | 5 ----- config/Tools-paths.mk.in | 10 ++++++++++ docs/Makefile | 8 +++++++- docs/configure | 7 +------ docs/configure.ac | 9 +-------- tools/configure | 21 ++------------------- tools/configure.ac | 19 +------------------ tools/hotplug/FreeBSD/Makefile | 7 ++++++- tools/hotplug/Linux/Makefile | 10 +++++++++- tools/hotplug/NetBSD/Makefile | 7 ++++++- tools/hotplug/common/Makefile | 7 ++++++- tools/ocaml/libs/xs/Makefile | 9 +++++++++ tools/ocaml/xenstored/Makefile | 9 ++++++++- 15 files changed, 80 insertions(+), 62 deletions(-) create mode 100644 config/Tools-paths.mk.in -- 2.51.0
