diff options
Diffstat (limited to 'misc/vera')
| -rw-r--r-- | misc/vera/Makefile | 2 | ||||
| -rw-r--r-- | misc/vera/files/patch-vera.texi (renamed from misc/vera/files/patch-aa) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/misc/vera/Makefile b/misc/vera/Makefile index 70f3349bda72..e20487b46774 100644 --- a/misc/vera/Makefile +++ b/misc/vera/Makefile @@ -17,7 +17,7 @@ USES= makeinfo INFO= vera do-build: - @ cd ${WRKSRC} && makeinfo --no-split vera.texi + @ (cd ${WRKSRC} && makeinfo --no-split vera.texi) do-install: @ ${INSTALL_DATA} ${WRKSRC}/vera.info ${STAGEDIR}${PREFIX}/info diff --git a/misc/vera/files/patch-aa b/misc/vera/files/patch-vera.texi index 4ec11ce83e7f..4ec11ce83e7f 100644 --- a/misc/vera/files/patch-aa +++ b/misc/vera/files/patch-vera.texi |