diff options
| -rw-r--r-- | print/tex-texmflocal/Makefile | 2 | ||||
| -rw-r--r-- | print/tex-texmflocal/files/dirlist | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/print/tex-texmflocal/Makefile b/print/tex-texmflocal/Makefile index e2a32ca4118f..7e10815f8a46 100644 --- a/print/tex-texmflocal/Makefile +++ b/print/tex-texmflocal/Makefile @@ -5,7 +5,7 @@ # $FreeBSD$ PORTNAME= tex-texmflocal -PORTVERSION= 1.8 +PORTVERSION= 1.9 CATEGORIES= print MASTER_SITES= # empty DISTFILES= # empty diff --git a/print/tex-texmflocal/files/dirlist b/print/tex-texmflocal/files/dirlist index 260579e643a4..df4fba6148e7 100644 --- a/print/tex-texmflocal/files/dirlist +++ b/print/tex-texmflocal/files/dirlist @@ -1,6 +1,9 @@ xdvi web2c texdoctk +ptex/plain +ptex/platex +ptex tex/texinfo tex/platex/config tex/platex |