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

[Andrey Slusar]

anray       2007-02-06 22:55:25 UTC

  FreeBSD ports repository

  Modified files:
    math/proofgeneral    Makefile distinfo pkg-plist 
    math/proofgeneral/files patch-Makefile 
  Log:
  * Remove the direct inclusion of bsd.emacs.mk
  * Use the misc/gnomehier and misc/hicolor-icon/theme ports
  * Use the latest proofgeneral prerelease
  
  PR:             ports/107414
  Submitted by:   Timothy Bourke(maintainer)
  
  Revision  Changes    Path
  1.11      +22 -31    ports/math/proofgeneral/Makefile
  1.5       +3 -3      ports/math/proofgeneral/distinfo
  1.3       +57 -68    ports/math/proofgeneral/files/patch-Makefile
  1.7       +451 -341  ports/math/proofgeneral/pkg-plist