update-docs.sh

   1 #!/bin/sh
   2
   3 python3 ./convert-sphinx.py &&
   4 git add "docs/**.rst" && git rm "docs/**.html" &&
   5 git commit -am "docs: convert articles to reructuredtext
   6
   7 This uses the previously added scripts to convert the documentation to
   8 reStructuredText, which is both easier to read offline, and can be used
   9 to generate modern HTML for online documentation.
  10
  11 No modification to the generated results have been done.
  12
  13 Acked-by: Eric Engestrom <eric@engestrom.ch>"