| Summary: | Fix build on bento: java/janosvm | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Product: | Ports & Packages | Reporter: | Tilman Linneweh <tilman> | ||||||
| Component: | Individual Port(s) | Assignee: | Ernst de Haan <znerd> | ||||||
| Status: | Closed FIXED | ||||||||
| Severity: | Affects Only Me | CC: | tilman | ||||||
| Priority: | Normal | ||||||||
| Version: | Latest | ||||||||
| Hardware: | Any | ||||||||
| OS: | Any | ||||||||
| Attachments: |
|
||||||||
Responsible Changed From-To: freebsd-ports->znerd I'll take care of this one. State Changed From-To: open->closed Committed. Thanks, Tilman! |
The port wants latex to generate .dvi files. I think no port should depend on teTeX just for docs. As this port comes with html and ps doc, I think we can omit dvi. Fix: New patch in files dir: cat files/patch-Makefile.in AUTOMAKE_OPTIONS = foreign 1.3e -SUBDIRS = . config include libltdl doc libraries kaffe test +SUBDIRS = . config include libltdl libraries kaffe test EXTRA_DIST = \ ChangeLog.1 \