Update make-doc-files to work with plugins.
authorChris Hanson <org/chris-hanson/cph>
Sat, 27 Oct 2018 00:38:36 +0000 (17:38 -0700)
committerChris Hanson <org/chris-hanson/cph>
Sat, 27 Oct 2018 00:38:36 +0000 (17:38 -0700)
commit1326bcb9ac9b6fca0a4802034cbb90624923b160
tree64889ab7316afd250a6768f564ebff982f1f7147
parentf16103802fca95bc9316e7dcf66044424374e2ff
Update make-doc-files to work with plugins.
dist/make-doc-files
dist/shared.sh