From 810dbd37521cd17763421ff2d6fa2fe9fbfdf0a5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 8 May 2001 14:15:00 +0000
Subject: Change DEVELDOWNLOAD to edit correct file

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

diff --git a/Makefile.devel b/Makefile.devel
index afea8297..f9c1204c 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -82,7 +82,7 @@ PRERELEASE_PREFIX=3\.3pre
 PRERELEASE_TAG=3.3pre$(shell date "+%y%m%d")
 PREREL_TAG_FILE=prereltag.txt
 
-DOWNLOADHTML=develdownload.html
+DOWNLOADHTML=develdownload.php
 DOWNLOADINFOHTML=devel.html
 
 # This is used for full releases to control the tag name
-- 
cgit v1.2.3