wroclaw-git-backups/nix
1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-07-07 06:01:48 +02:00
Code Activity

More "make dist" fixes

Browse source
This commit is contained in:
Eelco Dolstra 2014-02-01 15:18:48 +01:00
parent 74ca70da3a
commit 844d83352c
4 changed files with 12 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

4
doc/manual/local.mk
View file

@ -28,7 +28,7 @@ $(d)/manual.is-valid: $(d)/manual.xmli
clean-files += $(d)/manual.xmli $(d)/version.txt $(d)/manual.is-valid
clean-files += $(d)/manual.xmli $(d)/version.txt $(d)/manual.is-valid
dist-files += $(d)/manual.xmli $(d)/version.txt $(d)/manual.is-valid
# Generate man pages.
@ -47,6 +47,8 @@ $(man-pages): $(d)/manual.xmli $(d)/manual.is-valid
clean-files += $(d)/*.1 $(d)/*.5 $(d)/*.8
dist-files += $(d)/*.1 $(d)/*.5 $(d)/*.8
# Generate the HTML manual.
$(d)/manual.html: $(d)/manual.xml $(MANUAL_SRCS) $(d)/manual.is-valid