From 29993416fb4d19c1c3bb146367fc4bed74845486 Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Mon, 9 Jun 2014 22:20:31 -0400
Subject: Add .info extension to @setfilename commands in doc/ This makes no
 difference to anything, since we always use makeinfo -o, but it makes
 automake happier, if we ever decide to use that.

---
 doc/misc/semantic.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/misc/semantic.texi')

diff --git a/doc/misc/semantic.texi b/doc/misc/semantic.texi
index 0b0d7a364d6..9b9f29f1f19 100644
--- a/doc/misc/semantic.texi
+++ b/doc/misc/semantic.texi
@@ -1,5 +1,5 @@
 \input texinfo
-@setfilename ../../info/semantic
+@setfilename ../../info/semantic.info
 @set TITLE  Semantic Manual
 @set AUTHOR Eric M. Ludlam, David Ponce, and Richard Y. Kim
 @settitle @value{TITLE}
-- 
cgit v1.2.1