diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2018-06-09 23:30:30 +0300 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2018-06-09 23:30:30 +0300 |
commit | 170187a26c9788b17f2e2a66ca5b6116e7e72957 (patch) | |
tree | 4e798ba6fbba9cc54b2ae6a90c5684503bf5eb7a | |
parent | acb32e84269f1c00b5f1cdd03a920420dcdfa2bc (diff) | |
download | gint-170187a26c9788b17f2e2a66ca5b6116e7e72957.tar.gz gint-170187a26c9788b17f2e2a66ca5b6116e7e72957.tar.bz2 |
Suppress makeinfo warnings
-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 |