-# some extra-package files
-# $(install_file) developers-reference.pdf \
-# ../developers-reference.pdf.$(DEB_VERSION)
-# dpkg-distaddfile -fdebian/files developers-reference.pdf.$(DEB_VERSION) byhand -
-# GZIP=-9 tar czf ../developers-reference.html.tar.gz.$(DEB_VERSION)\
-# developers-reference.html
-# dpkg-distaddfile -fdebian/files developers-reference.html.tar.gz.$(DEB_VERSION)\
-# byhand -
-# $(install_file) developers-reference.txt \
-# ../developers-reference.txt
-# $(compress) ../developers-reference.txt
-# mv ../developers-reference.txt.gz \
-# ../developers-reference.txt.gz.$(DEB_VERSION)
-# dpkg-distaddfile -fdebian/files \
-# developers-reference.txt.gz.$(DEB_VERSION) byhand -