Index: Makefile.am =================================================================== --- Makefile.am (révision 6166) +++ Makefile.am (copie de travail) @@ -83,6 +83,11 @@ long-checks: cd tp/tests && $(MAKE) long-checks +check-dtd-changes: + $(MKDIR_P) tp/maintain + (cd tp/maintain && wget -N http://www.gnu.org/software/texinfo/dtd/$(TEXINFO_DTD_VERSION)/texinfo.dtd) + -diff $(DIFF_U_OPTION) tp/maintain/texinfo.dtd $(srcdir)/util/texinfo.dtd + # From coreutils. # Verify that all source files using _() are listed in po/POTFILES.in. # Run this before making pretests, as well as official releases, so that