CVS joy: build policy.{ps,pdf}.gz and include them in the binary package (byhand's gone). i'm guessing nobody needed this in the first place, but i guess we can put them in here just in case.

[Debian Policy CVS]

CVSROOT:        /cvs/debian-policy
Module name:    debian-policy
Changes by:     joy     Sat May 10 11:44:29 MDT 2003

Modified files:
        debian         : rules 

Log message:
  build policy.{ps,pdf}.gz and include them in the binary package (byhand's 
gone). i'm guessing nobody needed this in the first place, but i guess we can 
put them in here just in case.