about summary refs log tree commit diff
path: root/doc/Makefile
diff options
context:
space:
mode:
authorGraham Christensen <graham@grahamc.com>2019-07-04 08:30:13 -0400
committerGraham Christensen <graham@grahamc.com>2019-07-04 09:10:13 -0400
commite65c2c66726dfa77e3b9ab51ae85887884162c8f (patch)
treef9671c1df09d37ad10f1653cdc21ca835c4806a6 /doc/Makefile
parentd11f5a9d15c2d1eb735750392d69d515ae51df6c (diff)
downloadnixlib-e65c2c66726dfa77e3b9ab51ae85887884162c8f.tar
nixlib-e65c2c66726dfa77e3b9ab51ae85887884162c8f.tar.gz
nixlib-e65c2c66726dfa77e3b9ab51ae85887884162c8f.tar.bz2
nixlib-e65c2c66726dfa77e3b9ab51ae85887884162c8f.tar.lz
nixlib-e65c2c66726dfa77e3b9ab51ae85887884162c8f.tar.xz
nixlib-e65c2c66726dfa77e3b9ab51ae85887884162c8f.tar.zst
nixlib-e65c2c66726dfa77e3b9ab51ae85887884162c8f.zip
docs: find docbook rng from doc-support
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile
index 06a70519488e..afd3c781ebf9 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