|
From: | Phil Holmes |
Subject: | Re: snippets/new |
Date: | Sat, 12 Apr 2014 12:42:06 +0100 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |