From 610783ffbfdb866dff630597aabeb03f61abacc4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Feb 2000 15:08:21 +0000
Subject: New name for devel download page.

---
 Makefile.devel | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.devel b/Makefile.devel
index d4bc76a3..32cda65d 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -55,7 +55,7 @@ PRERELEASE_PREFIX=3\.1pre
 PRERELEASE_TAG=3.1pre$(shell date "+%y%m%d")
 PREREL_TAG_FILE=prereltag.txt
 
-DOWNLOADHTML=devel.phtml
+DOWNLOADHTML=develdownload.phtml
 
 # This is used for full releases to control the tag name
 # and distribution name.  No editing of html is done
-- 
cgit v1.2.3