mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-25 16:49:23 +00:00
2009-10-06 Colin Watson <cjwatson@ubuntu.com>
* Makefile.in: Don't set info_INFOS unless makeinfo was found. Fixes bug #27602.
This commit is contained in:
1 parent
d244281ce6
commit
83b65c4afb
2 files changed
+7
No files matched your search
@@ -174,7 +174,9 @@ handler.lst: $(HANDLERFILES)
|
||||
parttool.lst: $(PARTTOOLFILES)
|
||||
cat $^ /dev/null | sort | uniq > $@
|
||||
|
||||
ifneq (true, $(MAKEINFO))
|
||||
info_INFOS += docs/grub.info
|
||||
endif
|
||||
|
||||
MOSTLYCLEANFILES += vti.tmp
|
||||
MAINTAINER_CLEANFILES += docs/stamp-vti docs/version.texi
|
||||
|
||||
Reference in new issue
Block a user