100755 blob 73611bcf58c725c1af22a1bbde28b0335d37c264	extract_content.py
100644 blob 07d7a2807b6bf440e11eac3e43580c8b6a5b2257	fix_tex.py
100644 blob 30c43e4baa7177c74ac703aca567831f2bfada31	gen_devicetree_rest.py
100644 blob 4a4efca45aebd4be446be12b301d0c34ff216397	gen_helpers.py
100755 blob 7c6ac7cc90f38c7ef20df19bccb854a4e10ac1da	gen_kconfig_rest.py
100644 blob 12e67afc35af4b189f5835864312b26a6af2974f	redirects.py
100755 blob 8fc5c7b329a759bacbeefdc806178b23a54a959f	restore_modification_times.py