[Ur] Ur/Web packages for Debian

[Edward Z. Yang]

Excerpts from Adam Chlipala's message of Thu Nov 01 08:33:55 -0700 2012:
> I talked a bit with Benjamin about this, but what do you think is the 
> best way to manage version control for the files needed for packaging?  
> My first impulse was to put them in directories within the main urweb 
> repo, but apparently Debian discourages this.  Another option would be 
> one repository for all packaging metadata, but that sounds harder to 
> keep in sync with Ur/Web versions.

The Debian policy is with an eye towards the more common case
where the person packaging and the person maintaining upstream are
not the same.  It's easier for Debian to add a debian/ directory if
there isn't already one (especially if they need to diverge from upstream).

The classic solution here is to maintain a separate branch 'debian'
which contains the relevant metadata, and keep it merged (which shouldn't
be too difficult.)

Edward