mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-25 16:49:23 +00:00
2009-10-26 Robert Millan <rmh.grub@aybabtu.com>
* Makefile.in (docs/grub.info): Use make syntax to ignore errors
in $(MAKEINFO) invocation. This makes it clear in output that
errors are being ignored.
This commit is contained in:
1 parent
94180ff6c7
commit
5947ae32f5
2 files changed
+7
-1
No files matched your search
+1
-1
@@ -197,7 +197,7 @@ docs/stamp-vti: docs/grub.texi configure.ac
|
||||
# Use --force until such time as the documentation is cleaned up.
|
||||
docs/grub.info: docs/grub.texi docs/version.texi docs/fdl.texi
|
||||
$(MKDIR_P) docs
|
||||
$(MAKEINFO) -P $(builddir)/docs --no-split --force $< -o $@ || :
|
||||
-$(MAKEINFO) -P $(builddir)/docs --no-split --force $< -o $@
|
||||
|
||||
ifeq (, $(UNIFONT_BDF))
|
||||
else
|
||||
|
||||
Reference in new issue
Block a user