6 # now used as shell script in configure too
7 # leave no spaces around the equal signs!
8 # use the above to send patches, always empty for released version:
9 # please don't move these comments up; the patch should fail if
10 # the previous version was wrong.