diff options
-rw-r--r-- | lang/gnat-doc-html/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lang/gnat-doc-html/Makefile b/lang/gnat-doc-html/Makefile index 3bfca4381d6f..dd45ae6e7c10 100644 --- a/lang/gnat-doc-html/Makefile +++ b/lang/gnat-doc-html/Makefile @@ -15,8 +15,7 @@ MASTER_SITES= ftp://cs.nyu.edu/pub/gnat/%SUBDIR%/ \ ftp://ftp.cs.tu-berlin.de/pub/gnat/%SUBDIR%/ \ ftp://ftp.informatik.rwth-aachen.de/pub/mirror/cs.nyu.edu/pub/gnat/%SUBDIR%/ \ ftp://ftp.lip6.fr/pub/gnat/%SUBDIR%/ \ - ftp://ftp.cnam.fr/pub/Ada/PAL/compiler/gnat/%SUBDIR%/ \ - ftp://ftp.fss.bme.hu/pub/ada/gnat/%SUBDIR%/ + ftp://ftp.cnam.fr/pub/Ada/PAL/compiler/gnat/%SUBDIR%/ MASTER_SITE_SUBDIR= ${PORTVERSION} PKGNAMESUFFIX= -${DOCFORMAT} DISTNAME= gnat-${PORTVERSION}-unx-docs |