100644 blob b29f194585b510b3ec331b240c36ca30a4041f8d	augment_toc.js
100755 blob d465fc1837868c603cd8fa32f302916b0ea4cc77	deploy.sh
100644 blob 418f2030776d0113cba7cca2ff62f41fbfbf5d78	fetch_docs.js
100644 blob c6c141272f33201fbb7f78ea8a32318b08f778e7	gen_defaults.js
100644 blob 636054d28768c2d94a61d1e501af3f89925f4e42	gen_pages_dict.js
100644 blob 8ee23f1d54daf6e05bc3a48e4e3aac3368021d88	gen_versions.js
100755 blob 03e3dc7b166cb73a3f92db7b29cf8860b6d777bf	linkify-bugs.sh
100755 blob 3a348ea4722d67aaf4d567b1c887974532d2ee28	nextversion.js
100644 blob 5ff7da4a9e2cea51da04591b48a807b547dab048	toc.js
100644 blob 0f26f2b9936c032befa64b59ea650999f467a85a	util.js