diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/local.mk | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk index 223a49b3736a..7a2c36ccebc7 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk @@ -40,11 +40,13 @@ man-pages := $(foreach n, \ nix.conf.5 nix-daemon.8, \ $(d)/$(n)) -$(man-pages): $(d)/manual.xmli $(d)/manual.is-valid - $(trace-gen) $(XSLTPROC) --stringparam profile.condition manpage \ +$(firstword $(man-pages)): $(d)/manual.xmli $(d)/manual.is-valid + $(trace-gen) $(XSLTPROC) --novalid --stringparam profile.condition manpage \ $(docbookxsl)/profiling/profile.xsl $< 2> /dev/null | \ (cd doc/manual && $(XSLTPROC) $(docbookxsl)/manpages/docbook.xsl -) +$(wordlist 2, $(words $(man-pages)), $(man-pages)): $(firstword $(man-pages)) + clean-files += $(d)/*.1 $(d)/*.5 $(d)/*.8 dist-files += $(man-pages) |