From 4460b8da47735fee9c14e6628d8ddae43a1f9506 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Fri, 11 Dec 2015 18:17:01 +0100 Subject: texinfo>=4.11 is (optionally) required MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- doc/info/reusable/paper.texinfo | 2 ++ 1 file changed, 2 insertions(+) (limited to 'doc') diff --git a/doc/info/reusable/paper.texinfo b/doc/info/reusable/paper.texinfo index 1fc9f0f..5a6aca8 100644 --- a/doc/info/reusable/paper.texinfo +++ b/doc/info/reusable/paper.texinfo @@ -75,7 +75,9 @@ @fonttextsize 10 @end ifset @ifclear SMALLFONT +@iftex @c Because of bug in Texinfo<=4.13 @fonttextsize 11 +@end iftex @end ifclear @c In America it is customary to have two spaces after -- cgit v1.2.3-70-g09d2