mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-21 00:25:50 +00:00
parent
7d1f8cf820
commit
8670fba6f1
@ -14,11 +14,11 @@ LICENSE_FILE= ${WRKSRC}/COPYING
|
||||
GNU_CONFIGURE= yes
|
||||
MAKEFILE= makefile
|
||||
|
||||
DOCS_FILES= AUTHORS ChangeLog NEWS README \
|
||||
Docs/manual.html Docs/manual.css Docs/robodoc_example.rc
|
||||
|
||||
OPTIONS_DEFINE= DOCS EXAMPLES
|
||||
|
||||
DOCS_FILES= AUTHORS ChangeLog NEWS README Docs/manual.html Docs/manual.css \
|
||||
Docs/robodoc_example.rc
|
||||
|
||||
do-install:
|
||||
${INSTALL_PROGRAM} ${WRKSRC}/Source/robodoc ${STAGEDIR}${PREFIX}/bin
|
||||
${INSTALL_PROGRAM} ${WRKSRC}/Source/robohdrs ${STAGEDIR}${PREFIX}/bin
|
||||
|
Loading…
Reference in New Issue
Block a user