all-check-docs: check-format check-options check-refs check-fixmes check-unrevised
-check-docs:
+check-docs:
$(MAKE) -k all-check-docs
#
MAKEINFO="$(MAKEINFO) $(MAKEINFOFLAGS)" \
TEXI2DVI="$(TEXI2DVI) -t @finalout" \
$(GENDOCS) --texi2html tar 'GNU tar manual'
-