aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gint.mk4
1 files changed, 2 insertions, 2 deletions
diff --git a/gint.mk b/gint.mk
index 7fc8763..cc465e2 100644
--- a/gint.mk
+++ b/gint.mk
@@ -1,3 +1,3 @@
# This file is part of Gint
-# Copyright (C) 2010, 2013 Sergey Poznyakoff
+# Copyright (C) 2010, 2013, 2018 Sergey Poznyakoff
#
@@ -72,3 +72,3 @@ guile-procedures.txt: guile-procedures.texi
$(AM_V_GEN) rm -f $@; \
- $(MAKEINFO) --force -o $@ guile-procedures.texi || test -f $@
+ $(MAKEINFO) --no-warn --force -o $@ guile-procedures.texi || test -f $@
endif

Return to:

Send suggestions and report system problems to the System administrator.