1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-24 00:45:52 +00:00
freebsd-ports/math/proofgeneral
Danilo Egea Gondolfo 6e14842c1b - Add stage support
- Use ${PORT_OPTIONS:MDOCS} instead of !defined(NOPORTDOCS)
- Uses shebangfix

PR:		ports/191503
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu>
2014-07-16 16:53:37 +00:00
..
files
distinfo
Makefile - Add stage support 2014-07-16 16:53:37 +00:00
pkg-descr
pkg-plist - Add stage support 2014-07-16 16:53:37 +00:00