Add to-table generation to make-doc.sh#359

Joseph-Edwards merged 1 commit into

libsemigroups:mainlibsemigroups/libsemigroups_pybind11:mainfrom

jswent:make-doc-to-tablejswent/libsemigroups_pybind11:make-doc-to-tableCopy head branch name to clipboard