Remove unused gen script

2024-05-27 21:11:13 +00:00 · 2024-05-27 21:11:13 +00:00 · 6c365e4e59
parent 9791c5899d
commit 6c365e4e59
1 changed files with 0 additions and 139 deletions
--- a/guide/gen.py.nojpg
+++ b/guide/gen.py.nojpg
@ -1,139 +0,0 @@
-#!/usr/local/bin/python3
-
-import sys,string,time,os
-sys.path.append('../internal')
-import otros
-
-months = [ '', 'January', 'February', 'March', 'April', 'May', 'June', 'July',
-		'August', 'September', 'October', 'November', 'December']
-
-for epnum in sys.argv[1:]:
-	curep = int(epnum[:3])
-
-	pix = open('../internal/epnames', 'r')
-	for i in range(0, curep + 1):
-		epname = pix.readline()[:-1]
-	pix.close()
-	if epname == '':
-		epname = 'XXX'
-
-	cureplong = '%03d' % curep
-
-	if len(epnum) == 3:
-		which = 'guide'
-	else:
-		which = 'extra'
-
-	input = open(epnum, 'r')
-	mtime = time.localtime(os.stat(epnum)[8]);
-	mtime_str = '%s %d, %d' % (months[mtime[1]], mtime[2], mtime[0])
-
-	try:
-		os.unlink('#' + epnum + '.html')
-	except:
-		pass
-	try:
-		os.rename(epnum + '.html', '#' + epnum + '.html')
-	except:
-		pass
-
-	output = open(epnum + '.html', 'w')
-
-	output.write("""<html>
-<head>
-<title>Guide page: """ + '"' + epname + '"')
-	if which == 'extra':
-		output.write(' (scene in detail)')
-	
-	output.write("""</title>
-<link rev=made href="mailto:koreth@midwinter.com">
-<link rel=parent href="../eplist.html">
-</head>
-
-<body>
-
-""" + otros.pageheader(curep, which))
-
-	if which == 'guide':
-		output.write("""
-
-<p>
-<b>Contents:</b>
-<a href="#OV">Overview</a> -
-<a href="#BP">Backplot</a> -
-<a href="#UQ">Questions</a> -
-<a href="#AN">Analysis</a> -
-<a href="#NO">Notes</a> -
-<a href="#JS">JMS</a>
- 
-<p>
-<hr>
-
-""")
-	else:
-		output.write("""
-<pre>
-
-</pre>
-
-""")
-
-	wholefile = input.read()
-	input.close()
-
-	rewrite = open('@' + epnum, 'w')
-	needsupdate = 0
-
-	pieces = wholefile.split('@@@')
-	output.write(pieces[0])
-	rewrite.write(pieces[0])
-
-	for piece in pieces[1:]:
-		try:
-			if ' ' in piece:
-				timestamp = int(piece[:string.index(piece, ' ')])
-			else:
-				timestamp = int(piece)
-		except:
-			timestamp = 0
-
-		if timestamp == 0:
-			needsupdate = 1
-			timestamp = int(time.time())
-			rewrite.write('@@@' + `timestamp`)
-			rewrite.write(piece[string.index(piece, ' '):])
-		else:
-			rewrite.write('@@@' + piece)
-
-		if timestamp >= time.time() - 14 * 60 * 60 * 24:
-			timeval = time.localtime(timestamp)
-			output.write('<strong>[[%d/%d]]</strong>' %
-					(timeval[1], timeval[2]));
-
-		output.write(piece[string.index(piece, ' '):])
-
-	rewrite.close()
-	if needsupdate:
-		try:
-			os.unlink('#' + epnum)
-		except:
-			pass
-		os.rename(epnum, '#' + epnum)
-		os.rename('@' + epnum, epnum)
-	else:
-		os.unlink('@' + epnum)
-
-	output.write('<pre>\n\n</pre>\n' + otros.pagefooter(curep) + """
-
-<h5>
-Last update:
-""" + mtime_str + """
-
-</h5>
-</body>
-</html>
-""")
-
-	output.close()
-
-	print epnum