diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index 595773f1c..8f4c84790 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -11,10 +11,13 @@ SOURCES = manual.xml introduction.xml installation.xml overview.xml \ troubleshooting.xml bugs.xml \ style.css images -manual.is-valid: $(SOURCES) +manual.is-valid: $(SOURCES) version.xml $(XMLLINT) --noout --valid manual.xml touch $@ +version.xml: + echo -n $(VERSION) > version.xml + man1_MANS = nix-store.1 nix-instantiate.1 man $(MANS): $(SOURCES) manual.is-valid @@ -38,6 +41,8 @@ images: cp $(docbookxsl)/images/callouts/*.png images/callouts chmod +w -R images -EXTRA_DIST = $(SOURCES) manual.html manual.is-valid $(MANS) +KEEP = manual.html manual.is-valid version.xml $(MANS) -DISTCLEANFILES = manual.html manual.is-valid $(MANS) +EXTRA_DIST = $(SOURCES) $(KEEP) + +DISTCLEANFILES = $(KEEP) diff --git a/doc/manual/introduction.xml b/doc/manual/introduction.xml index 7759cd65a..b41cad0a8 100644 --- a/doc/manual/introduction.xml +++ b/doc/manual/introduction.xml @@ -2,7 +2,7 @@
The number of Nix installations in the world has grown to 4, + The number of Nix installations in the world has grown to 5, with more expected.