Bug 109930

Summary: Update port: math/proofgeneral minor bugfix
Product: Ports & Packages Reporter: Timothy Bourke <timbob>
Component: Individual Port(s)Assignee: Andrey Slusar <anray>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
proofgeneral.diff none

Description Timothy Bourke 2007-03-05 16:20:08 UTC 
The port does not deinstall cleanly because of an error in
		the Makefile patch. This is detected by the pointyhat.
Comment 1 Edwin Groothuis freebsd_committer freebsd_triage 2007-03-05 16:20:18 UTC 
Responsible Changed
From-To: freebsd-ports-bugs->anray

anray@ wants to have elisp PRs
Comment 2 dfilter service freebsd_committer freebsd_triage 2007-03-05 19:38:23 UTC 
anray       2007-03-05 19:38:17 UTC

  FreeBSD ports repository

  Modified files:
    math/proofgeneral    Makefile 
    math/proofgeneral/files patch-Makefile 
  Log:
  Fix deinstall and unbroke port.
  
  PR:             ports/109930
  Submitted by:   Timothy Bourke (maintainer)
  
  Revision  Changes    Path
  1.13      +0 -2      ports/math/proofgeneral/Makefile
  1.4       +3 -2      ports/math/proofgeneral/files/patch-Makefile
_______________________________________________
cvs-all@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
Comment 3 Andrey Slusar freebsd_committer freebsd_triage 2007-03-05 19:38:33 UTC 
State Changed
From-To: open->closed

Committed. Thanks!