From 170187a26c9788b17f2e2a66ca5b6116e7e72957 Mon Sep 17 00:00:00 2001
From: Sergey Poznyakoff <gray@gnu.org>
Date: Sat, 9 Jun 2018 23:30:30 +0300
Subject: Suppress makeinfo warnings

---
 gint.mk | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'gint.mk')

diff --git a/gint.mk b/gint.mk
index 7fc8763..cc465e2 100644
--- a/gint.mk
+++ b/gint.mk
@@ -1,5 +1,5 @@
 # This file is part of Gint
-# Copyright (C) 2010, 2013 Sergey Poznyakoff
+# Copyright (C) 2010, 2013, 2018 Sergey Poznyakoff
 #
 # This program is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -70,7 +70,7 @@ guile-procedures.texi: $(DOT_DOC_FILES)
 
 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
 
 .c.x:
-- 
cgit v1.2.1