- $(INSTALL_DATA) CHANGES debian/disorder-playrtp/usr/share/doc/disorder-playrtp/CHANGES
- gzip -9f debian/disorder-playrtp/usr/share/doc/disorder-playrtp/CHANGES \
- debian/disorder-playrtp/usr/share/man/man*/*
+ $(INSTALL_DATA) CHANGES.html debian/disorder-playrtp/usr/share/doc/disorder-playrtp/CHANGES.html
+ gzip -9f debian/disorder-playrtp/usr/share/man/man*/*