>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:

Lars> No, not that I know of.

Lars> Have I said that earlier?

I don't think so. Is it enough to add it to EXTRA_DIST, or is there a
special variable for scripts?

JMarc

Reply via email to