GitHub repository: wudi/Dash-Docset-Creator
Primary language: PHP
Description: A simple PHP script to turn multiple HTML files into a .docset compatible with Dash