GNU bug report logs - #7655
conditional _TEXINFOS should be supported

Previous Next

Full log

View this message in rfc822 format

From: Ralf Wildenhues <Ralf.Wildenhues <at> gmx.de>
To: 7655 <at> debbugs.gnu.org
Subject: bug#7655: conditional _TEXINFOS should be supported
Date: Thu, 16 Dec 2010 20:09:11 +0100

Severity: wishlist

Conditional _TEXINFOS files should be supported, i.e.,

if COND
info_TEXINFOS = foo.texi
foo_TEXINFOS = bar.texi
nodist_info_TEXINFOS = generated.texi
endif

should work to generate and install foo.{info,pdf,...} only if COND,
but distribute foo.texi and bar.texi always.  Similar with
generated.texi (except for distribution, of course).

Cheers,
Ralf

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.