* Repack, removing doc/html (which is renegerated at build-time) to
  avoid shipping the sourceless minified jquery.js in the source package
  (thanks to Ansgar Burchardt for pointing this out).
* Update debian/copyright (thanks also to Ansgar Burchardt).
* Add Built-Using field to ensure all the source for the generated
  files is kept in the archive.