# SPDX-License-Identifier: GPL-3.0-or-later # # This file is part of Nominatim. (https://nominatim.org) # # Copyright (C) 2024 by the Nominatim developer community. from pathlib import Path import mkdocs_gen_files VAGRANT_PATH = Path(__file__, '..', '..', 'vagrant').resolve() for infile in VAGRANT_PATH.glob('Install-on-*.sh'): outfile = f"admin/{infile.stem}.md" title = infile.stem.replace('-', ' ') with mkdocs_gen_files.open(outfile, "w") as outfd, infile.open() as infd: print("#", title, file=outfd) has_empty = False for line in infd: line = line.rstrip() docpos = line.find('#DOCS:') if docpos >= 0: line = line[docpos + 6:] elif line == '#' or line.startswith('#!'): line = '' elif line.startswith('# '): line = line[2:] if line or not has_empty: print(line, file=outfd) has_empty = not bool(line) mkdocs_gen_files.set_edit_path(outfile, "docs/mk_install_instructions.py")