Add docbook.nvdl to distrib

diff --git a/docbook/relaxng/docbook/Makefile b/docbook/relaxng/docbook/Makefile
index a46dbbc2b41f4e01d4daf5ff647cac56a3a3e6f1..e09b114e0d5548409701b838157b6f9e702d15f6 100644 (file)
--- a/docbook/relaxng/docbook/Makefile
+++ b/docbook/relaxng/docbook/Makefile
@@ -50,6 +50,7 @@ distrib: docbook.dtd docbook.rng   docbook.rnc   docbook.sch \
        mkdir -p $(DISTRIB)/{rng,dtd,xsd,sch,docs,tools}
        mkdir $(DISTRIB)/docs/images
        echo $(VERSION) > $(DISTRIB)/VERSION
+       cp docbook.nvdl $(DISTRIB)/
        cp docbook.{rng,rnc} docbookxi.{rng,rnc} $(DISTRIB)/rng/
        cp docbook.dtd $(DISTRIB)/dtd/
        cp docbook.sch $(DISTRIB)/sch/