Reiner Steib <[EMAIL PROTECTED]> writes:

> On Wed, May 11 2005, David Kastrup wrote:
>
>> Well, now
>> make TAG=`date '+%Y%m%d'` tar-ball
>>
>> should work, or, if you prefer the dashed format
>>
>> make TAG=`date --iso` tar-ball
>
> Nice.  I used TAGs like 20050511-a which doesn't work as it is.  Do
> you see any problem with this modification of the sed expression?
>
> -     '/^[-0-9]*$$/s//-D &/'
> +     '/^\([0-9]*\)[-a-z]*$$/s//-D \1/'

Well, it will stop the TAG=`date --iso` stuff from working, but as
long as we are the only people thinking up TAG names, this should not
matter too much.  What is the rationale behind it?  Should the
expression become something like
'/^\([-0-9]*[0-9]\)[-a-z]*$$//-D \1/'
instead, maybe?

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum


_______________________________________________
auctex-devel mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/auctex-devel

Reply via email to