Change in pysim[master]: docs: allow overriding OSMO_GSM_MANUALS_DIR