* Correct docs for errors-push, which takes no filename.
Closes:#775852.
- Upstream Makefiles etc.:
+ Packaging etc.
* Honour XCFLAGS.
* Use `%option nounput' rather than #define YY_NO_UNPUT.
Patch from Peter Benie, but modified.
+ * Update some copyright notices.
Debian packaging:
* Honour dpkg-buildflags.