7 PKGREL
=${VERSION}-${PACKAGERELEASE}
8 DEB
=${PACKAGE}_
${VERSION}-${PKGREL}_all.deb
21 make DESTDIR
=`pwd`/dest
install
23 sed
-e
's/@PKGREL@/${PKGREL}/' <control.in
>dest
/DEBIAN
/control
24 mkdir
-p dest
/usr
/share
/doc
/${PACKAGE}
25 install -m
0644 copyright dest
/usr
/share
/doc
/${PACKAGE}
26 install -m
0644 changelog.Debian dest
/usr
/share
/doc
/${PACKAGE}
27 gzip
--best dest
/usr
/share
/doc
/${PACKAGE}/changelog.Debian
33 rhinoed_jslint.js
: jslint.js rhino.js
34 cat jslint.js rhino.js
>$@.tmp
37 install: rhinoed_jslint.js jslint
38 mkdir
-p
${DESTDIR}/usr
/share
/${PACKAGE}
39 install -m
0644 rhinoed_jslint.js
${DESTDIR}/usr
/share
/${PACKAGE}/rhinoed_jslint.js
40 mkdir
-p
${DESTDIR}/usr
/bin
41 install -m
0755 jslint
/usr
/bin
44 wget
-O jslint.js http
://jslint.com
/jslint.js
51 rm -rf
*~ dest control rhinoed_jslint.js
*.deb
55 umount
/pve
/${RELEASE}; mount
/pve
/${RELEASE} -o rw
56 mkdir
-p
/pve
/${RELEASE}/extra
57 rm -f
/pve
/${RELEASE}/extra
/${PACKAGE}_
*.deb
58 rm -f
/pve
/${RELEASE}/extra
/Packages
*
59 cp
${DEB} /pve
/${RELEASE}/extra
60 cd
/pve
/${RELEASE}/extra
; dpkg-scanpackages .
/dev
/null
> Packages
; gzip
-9c Packages
> Packages.gz
61 umount
/pve
/${RELEASE}; mount
/pve
/${RELEASE} -o ro