diff options
-rw-r--r-- | gint.mk | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |