Bug#39348: dpkg-dev: index.html and internals.html are the same file

[ron]

Package: dpkg-dev
Version: 1.4.1.3
Severity: normal

..one of them can go, the other could probably be gzipped

best,
Ron.