do not generate an index page anymore (#68601)

This commit is contained in:
Frédéric Péters 2022-09-01 08:36:37 +02:00
parent 38345d671b
commit fefd51d8d8
1 changed files with 0 additions and 15 deletions

View File

@ -11,10 +11,6 @@ import urllib2
import urlparse
import xml.etree.ElementTree as ET
from django.template import Template, Context
from django.conf import settings
settings.configure()
MAL_NS = 'http://projectmallard.org/1.0/'
jhbuildrc = os.path.join(os.getcwd(), 'jhbuildrc')
@ -176,15 +172,6 @@ def publish_sphinx(module):
shutil.copytree(build_dir, output_dir)
def create_index(modules):
index_html = os.path.join(web_directory, 'index.html')
t = Template(unicode(file('index_template.html').read(), 'utf-8'))
c = Context({'modules': modules})
fd = file(index_html, 'w')
fd.write(t.render(c).encode('utf-8'))
fd.close()
modules = json.load(file('modules.json'))
for module in modules:
@ -207,5 +194,3 @@ for module in modules:
for js_file in os.listdir('js'):
shutil.copy('js/' + js_file, web_directory)
create_index(modules)