cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist

[Andrey Slusar]

anray       2006-11-11 19:15:29 UTC

  FreeBSD ports repository

  Modified files:
    math/proofgeneral    Makefile distinfo pkg-plist 
  Log:
  Fix plist and unbroken port.
  
  PR:             ports/105383
  Reported by:    pointyhat
  Submitted by:   Timothy Bourke (maintainer)
  
  Revision  Changes    Path
  1.8       +2 -3      ports/math/proofgeneral/Makefile
  1.4       +1 -0      ports/math/proofgeneral/distinfo
  1.6       +0 -1      ports/math/proofgeneral/pkg-plist