I've merged the debian directory into the main svn repository. Its presence
there won't interfere with debian maintenance as long as it isn't included in
release tarballs, and I think having the one repository will make things
easier overall for everybody who uses the debian stuff.
If you are tracking svn, including the debian directory, you'll probably need
to delete the latter before svn updating the parent directory otherwise svn
may complain about finding files in the way.