diff options
| author | antoine <antoine@FreeBSD.org> | 2014-06-26 16:41:34 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2014-06-26 16:41:34 +0800 |
| commit | c51da6a2ea54b051b9ebadd4ec14bb2fce7bf34c (patch) | |
| tree | 538272ea6472d12ca5d850dc054ae239be5ead16 /misc/vera | |
| parent | 5518c05a82de65dcdab68396d799321e2a8b0625 (diff) | |
| download | freebsd-ports-gnome-c51da6a2ea54b051b9ebadd4ec14bb2fce7bf34c.tar.gz freebsd-ports-gnome-c51da6a2ea54b051b9ebadd4ec14bb2fce7bf34c.tar.zst freebsd-ports-gnome-c51da6a2ea54b051b9ebadd4ec14bb2fce7bf34c.zip | |
Allow to build with texinfo from ports
With hat: portmgr
Diffstat (limited to 'misc/vera')
| -rw-r--r-- | misc/vera/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/misc/vera/Makefile b/misc/vera/Makefile index 61ad0ca104f2..70f3349bda72 100644 --- a/misc/vera/Makefile +++ b/misc/vera/Makefile @@ -12,6 +12,8 @@ COMMENT= Virtual Entity of Relevant Acronyms LICENSE= GFDL +USES= makeinfo + INFO= vera do-build: |