8 cd deb-build
; ..
/configure
--prefix=/usr
--mandir=/usr
/share
/man
14 rm -rf deb-build build
18 make
-C deb-build
install DESTDIR
=`pwd`/debian
/fw
26 dh_installdocs
-a grammar
35 binary
: binary-indep binary-arch
38 rm -rf deb-build
/*.
tar.gz deb-build
/=deb
=
39 make
-C deb-build
dist
41 cd deb-build
/=deb
=; tar xvfz ..
/*.
tar.gz
42 d
=`pwd`; cd ..
; dpkg-source
-i
-b
$$d/deb-build
/=deb
=/*
43 rm -rf deb-build
/=deb
=
45 .PHONY
: binary binary-arch binary-indep
clean install source