----- Original Message ----- From: Pierre Perol-Schneider
To: Phil Holmes
Cc: Devel
Sent: Saturday, April 12, 2014 12:30 PM
Subject: Re: snippets/new
2014-04-12 13:26 GMT+02:00 Phil Holmes address@hidden:
> I'm assuming you've tried this with just "tagline = ##f" and it
doesn't > work?
Yes of course
> The downside of this approach is presumably that you have to work
out > how many lines are in the snippet and adjust the paper size >
appropriately?
Yes indeed.
AFAIK up to now, there is nothing easier.
OK - it seems to me that we should not use this on "docs" tagged
snippets, since a) it might affect how the snippets are compiled into
the documentation, and b) it's code we would not want in all the
documented snippets.
--
Phil Holmes