diff options
author | Graham Christensen <graham@grahamc.com> | 2019-07-04 08:51:43 -0400 |
---|---|---|
committer | Graham Christensen <graham@grahamc.com> | 2019-07-04 09:10:14 -0400 |
commit | 5a0696f6d0bf3344437eb1c83f1108e46664e24a (patch) | |
tree | d6e3adab9507b38291c55ec1afd1c9aa5a95573b /doc/Makefile | |
parent | de58e706f9965b90a8df98e3cc29ff4fcc22cb18 (diff) |
xmlformat.conf: move to doc-support build
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 24ad42185f91..4bf33f7dd43b 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -8,10 +8,10 @@ debug: nix-shell --run "xmloscopy --docbook5 ./manual.xml ./manual-full.xml" .PHONY: format -format: +format: doc-support/result find . -iname '*.xml' -type f | while read f; do \ echo $$f ;\ - xmlformat --config-file "$$XMLFORMAT_CONFIG" -i $$f ;\ + xmlformat --config-file "doc-support/result/xmlformat.conf" -i $$f ;\ done .PHONY: fix-misc-xml |