RFC: How to improve Ubuntu support

[Thomas Lange]

>>>>> On Fri, 07 Nov 2014 17:44:32 +0100, Moritz Struebe <Moritz.Struebe at informatik.uni-erlangen.de> said:

    > described in [3]. And if that is not sufficient rather add a
    > configuration file that is adjusted before building.
What about a ubuntu/patches subdir, which contains the patches needed
for building the Ubuntu version? I there something that is used by
other Ubuntu packages, which have only small diffs to the Debian version?
-- 
regards Thomas