2018-05-02 00:03:25 +02:00
|
|
|
.PHONY: all
|
2021-03-22 21:15:11 +01:00
|
|
|
all: manual-combined.xml
|
2018-05-02 00:03:25 +02:00
|
|
|
|
|
|
|
.PHONY: debug
|
|
|
|
debug: generated manual-combined.xml
|
|
|
|
|
2018-10-04 04:33:03 +02:00
|
|
|
manual-combined.xml: generated *.xml **/*.xml
|
2018-05-02 01:43:52 +02:00
|
|
|
rm -f ./manual-combined.xml
|
2019-03-22 14:47:47 +01:00
|
|
|
nix-shell --pure -Q --packages xmloscopy \
|
2018-05-02 00:03:25 +02:00
|
|
|
--run "xmloscopy --docbook5 ./manual.xml ./manual-combined.xml"
|
|
|
|
|
|
|
|
.PHONY: format
|
|
|
|
format:
|
2019-03-22 14:47:47 +01:00
|
|
|
nix-shell --pure -Q --packages xmlformat \
|
|
|
|
--run "find ../../ -iname '*.xml' -type f -print0 | xargs -0 -I{} -n1 \
|
|
|
|
xmlformat --config-file '../xmlformat.conf' -i {}"
|
2018-05-02 00:03:25 +02:00
|
|
|
|
2018-06-01 02:26:27 +02:00
|
|
|
.PHONY: fix-misc-xml
|
|
|
|
fix-misc-xml:
|
|
|
|
find . -iname '*.xml' -type f \
|
|
|
|
-exec ../varlistentry-fixer.rb {} ';'
|
|
|
|
|
2018-05-02 00:03:25 +02:00
|
|
|
.PHONY: clean
|
|
|
|
clean:
|
|
|
|
rm -f manual-combined.xml generated
|
2018-04-28 10:00:55 +02:00
|
|
|
|
2019-09-06 12:02:25 +02:00
|
|
|
generated:
|
2018-04-28 10:00:55 +02:00
|
|
|
nix-build ../../release.nix \
|
|
|
|
--attr manualGeneratedSources.x86_64-linux \
|
|
|
|
--out-link ./generated
|