how can we make fixing this a once-only effort? Autogenerate regexprops-generic.texi every day, so that changes are noticed? In fact, I thought that is what we had done. Sorry to hear about the tangle.
karl
how can we make fixing this a once-only effort? Autogenerate regexprops-generic.texi every day, so that changes are noticed? In fact, I thought that is what we had done. Sorry to hear about the tangle.
karl