diff options
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 06a70519488e0..afd3c781ebf9b 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -25,8 +25,8 @@ clean: rm -rf ./out/ ./highlightjs .PHONY: validate -validate: manual-full.xml - jing "$$RNG" manual-full.xml +validate: manual-full.xml doc-support/result + jing doc-support/result/docbook.rng manual-full.xml out/html/index.html: manual-full.xml style.css highlightjs mkdir -p out/html |