diff options
| author | markm <markm@FreeBSD.org> | 2001-02-22 14:35:13 +0800 |
|---|---|---|
| committer | markm <markm@FreeBSD.org> | 2001-02-22 14:35:13 +0800 |
| commit | f1211843787238ae32793153a92459dfd99a0b49 (patch) | |
| tree | 65412d71f1b0156f6e72f38584f709c6bca2e7b0 | |
| parent | 59224627ad6dd4aa7f9cada084d79cc35b9ccca8 (diff) | |
| download | freebsd-ports-gnome-f1211843787238ae32793153a92459dfd99a0b49.tar.gz freebsd-ports-gnome-f1211843787238ae32793153a92459dfd99a0b49.tar.zst freebsd-ports-gnome-f1211843787238ae32793153a92459dfd99a0b49.zip | |
Give this port half-a-chance of actually fetching. All the sites
I tried couldn't handle automatic .tar and .gz of a directory, but
they could handle .tar -only.
| -rw-r--r-- | print/dvi2tty/Makefile | 1 | ||||
| -rw-r--r-- | print/dvi2tty/distinfo | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/print/dvi2tty/Makefile b/print/dvi2tty/Makefile index f26eca258ab7..71ea70520537 100644 --- a/print/dvi2tty/Makefile +++ b/print/dvi2tty/Makefile @@ -11,6 +11,7 @@ CATEGORIES= print MASTER_SITES= ${MASTER_SITE_TEX_CTAN} MASTER_SITE_SUBDIR= nonfree/dviware DISTNAME= ${PORTNAME} +EXTRACT_SUFX= .tar MAINTAINER= ports@FreeBSD.org diff --git a/print/dvi2tty/distinfo b/print/dvi2tty/distinfo index 27bd1a4ca829..b14f730ed0de 100644 --- a/print/dvi2tty/distinfo +++ b/print/dvi2tty/distinfo @@ -1 +1 @@ -MD5 (dvi2tty.tar.gz) = IGNORE +MD5 (dvi2tty.tar) = IGNORE |