tree cafc56e13816e3e42b849bd8373d0c48bf4c41b1
parent 8f486e730cdbcdaab08e5d4352a0a1d35a7f7aba
author Ron <ron@debian.org> 1368334972 +0930
committer Ron <ron@debian.org> 1368334972 +0930

Don't repeatedly install the doc dir for every file