expo/expoweb
1
0
Fork 0
mirror of https://expo.survex.com/repositories/expoweb/.git/ synced 2025-03-21 09:42:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

[svn r7525] ----------------------------------------------------------------------

Browse Source 
r10816:  expo | 2006-08-02 10:12:35 +0100

Correctly update prospecting guide!
----------------------------------------------------------------------
This commit is contained in:
olly 2006-09-07 04:28:03 +02:00
parent f0fbf220a4
commit 9e6b1c12a7
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
noinfo/prospecting_guide_scripts/make-prospectingguide-new.py
View File

@ -379,7 +379,10 @@ for cave in cavetab:
except: except:
print "Bad area '%s' for cave %s" % (area, number) print "Bad area '%s' for cave %s" % (area, number)
htmlfile = file("../../handbook/prospecting_guide.html", "w") if showbg:
htmlfile = file("/dev/null", "w")
else:
htmlfile = file("../../handbook/prospecting_guide.html", "w")
htmlfile.write("<html><head><title>Prospecting Guide</title>\n") htmlfile.write("<html><head><title>Prospecting Guide</title>\n")
htmlfile.write("<script lang=\"Javascript\"><!--\n"); htmlfile.write("<script lang=\"Javascript\"><!--\n");