Add rule to easily generate dir-add.texi file.

diff --git a/Makefile b/Makefile
index 28e31ac13704f21027692351431cc90058b17fa7..126b0fa48277e7ed84ff4dca445d45b87e13b6c7 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -303,6 +303,8 @@ makeinfo --no-validate --no-warn --no-headers $< -o $@
 endef
 INSTALL: manual/maint.texi; $(format-me)
 NOTES: manual/creature.texi; $(format-me)
+manual/dir-add.texi:
+       $(MAKE) $(PARALLELMFLAGS) -C $(@D) $(@F)
 
 rpm/%: subdir_distinfo
        $(MAKE) $(PARALLELMFLAGS) -C $(@D) subdirs='$(subdirs)' $(@F)