From 769d9632b75e4347b6e0c406c815891b1118db58 Mon Sep 17 00:00:00 2001 From: Paul Davis Date: Sat, 23 Sep 2023 12:08:50 -0600 Subject: [PATCH] remove unused function from autowaf.py (it no longer worked with python 3.12) --- tools/autowaf.py | 39 --------------------------------------- 1 file changed, 39 deletions(-) diff --git a/tools/autowaf.py b/tools/autowaf.py index b6d1975d69..5ad468440f 100644 --- a/tools/autowaf.py +++ b/tools/autowaf.py @@ -400,45 +400,6 @@ def build_dir(name, subdir): else: return os.path.join('build', subdir) -# Clean up messy Doxygen documentation after it is built -def make_simple_dox(name): - name = name.lower() - NAME = name.upper() - try: - top = os.getcwd() - os.chdir(build_dir(name, 'doc/html')) - page = 'group__%s.html' % name - if not os.path.exists(page): - return - for i in [ - ['%s_API ' % NAME, ''], - ['%s_DEPRECATED ' % NAME, ''], - ['group__%s.html' % name, ''], - [' ', ''], - ['<\/script>', ''], - ['<\/a>

.*<\/h2>', ''], - ['', - ''], - ['\"doxygen\"\/', - 'Doxygen']]: - os.system("sed -i 's/%s/%s/g' %s" % (i[0], i[1], page)) - os.rename('group__%s.html' % name, 'index.html') - for i in (glob.glob('*.png') + - glob.glob('*.html') + - glob.glob('*.js') + - glob.glob('*.css')): - if i != 'index.html' and i != 'style.css': - os.remove(i) - os.chdir(top) - os.chdir(build_dir(name, 'doc/man/man3')) - for i in glob.glob('*.3'): - os.system("sed -i 's/%s_API //' %s" % (NAME, i)) - for i in glob.glob('_*'): - os.remove(i) - os.chdir(top) - except Exception as e: - Logs.error("Failed to fix up %s documentation: %s" % (name, e)) - # Doxygen API documentation def build_dox(bld, name, version, srcdir, blddir, outdir=''): if not bld.env['DOCS']: