* doc/misc/Makefile.in (info): Make it the first target again.

This commit is contained in:
Glenn Morris 2012-05-04 16:53:03 -04:00
parent 66408d1e52
commit 956cceb9b1

View file

@ -215,12 +215,13 @@ mkinfodir = @cd ${srcdir}; test -d ${infodir} || mkdir ${infodir} || test -d ${i
.PHONY: info dvi pdf echo-info
# Default.
info: $(INFO_TARGETS)
## Used by top-level Makefile.
echo-info:
@echo $(INFO_TARGETS) | sed 's|[^ ]*/||g'
info: $(INFO_TARGETS)
# please modify this for all the web manual targets
webhack: clean
$(MAKE) pdf MAKEINFO_OPTS="-DWEBHACKDEVEL $(MAKEINFO_OPTS)"