12e7698a65
Formatting has been neglected. Running `make` would format dozens of files, which is a great way of scaring away newcomers and those with less git experience. It would also annoy the heck out of regular contributors. The purpose of formatting is to avoid a small annoyance, so it should not become a big annoyance that makes people give up on their work.
31 lines
753 B
Makefile
31 lines
753 B
Makefile
.PHONY: all
|
|
all: manual-combined.xml
|
|
|
|
.PHONY: debug
|
|
debug: generated manual-combined.xml
|
|
|
|
manual-combined.xml: generated *.xml **/*.xml
|
|
rm -f ./manual-combined.xml
|
|
nix-shell --pure -Q --packages xmloscopy \
|
|
--run "xmloscopy --docbook5 ./manual.xml ./manual-combined.xml"
|
|
|
|
.PHONY: format
|
|
format:
|
|
nix-shell --pure -Q --packages xmlformat \
|
|
--run "find ../../ -iname '*.xml' -type f -print0 | xargs -0 -I{} -n1 \
|
|
xmlformat --config-file '../xmlformat.conf' -i {}"
|
|
|
|
.PHONY: fix-misc-xml
|
|
fix-misc-xml:
|
|
find . -iname '*.xml' -type f \
|
|
-exec ../varlistentry-fixer.rb {} ';'
|
|
|
|
.PHONY: clean
|
|
clean:
|
|
rm -f manual-combined.xml generated
|
|
|
|
generated:
|
|
nix-build ../../release.nix \
|
|
--attr manualGeneratedSources.x86_64-linux \
|
|
--out-link ./generated
|