diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 21:08:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 21:08:38 +0000 |
| commit | 6e6475af7c9d0284aa2a16e60e8cb3f4cd7cf343 (patch) | |
| tree | 7c8ebf2f0158053d1f2bcf3901bf7383be33272d /Makefile.devel | |
| parent | 8d60c1e64c8e1a38b1bd1202cff53d6e520b14e2 (diff) | |
Change develdownload.php -> develdownload.html
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index f600d789..a99b4f77 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -94,7 +94,7 @@ PREREL_TAG_FILE=prereltag.txt # Path to web pages in repository, used for automatically # updating with release information. HTMLDIR=../web -DOWNLOADHTML=develdownload.php +DOWNLOADHTML=develdownload.html DOWNLOADINFOHTML=devel.html # This is used for full releases to control the tag name |