Add script to generate shell documentation

Add tool script to generate documentation from shell script based on docstring.

Add script to generate shell documentation
Add tool script to generate documentation from shell script based on docstring.
819df648 · Romain Deville · c60574f9 · 819df648
Verified Commit 819df648 authored 4 years ago by Romain Deville
--- a/tools/generate_source_docs.sh
+++ b/tools/generate_source_docs.sh