From 956cceb9b1ffb4117fd1ad556e782de281ee68e3 Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Fri, 4 May 2012 16:53:03 -0400 Subject: [PATCH] * doc/misc/Makefile.in (info): Make it the first target again. --- doc/misc/Makefile.in | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index ed1c497c25e..83bc2d7bf33 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -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)" -- 2.39.2