From ca638f77e305fc1dc2c385d26e3755665dbbd046 Mon Sep 17 00:00:00 2001 From: James Lu Date: Sat, 9 Jul 2016 00:25:58 -0700 Subject: [PATCH] docs/t: drop update-autogen, it's broken now --- docs/technical/update-autogen.sh | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100755 docs/technical/update-autogen.sh diff --git a/docs/technical/update-autogen.sh b/docs/technical/update-autogen.sh deleted file mode 100755 index 2e09bf5..0000000 --- a/docs/technical/update-autogen.sh +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/bash -# Deletes and updates the contents of the autogen/ folder - -SCRIPT_DIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd) -pwd -shopt -s nullglob -rm -v autogen/*.html - -# cd to the main folder -cd ../.. -pwd - -# Iterate over all the .py files and run pydoc3 on them. -for module in *.py protocols/*.py; do - echo "Running pydoc3 -w ./$module" - pydoc3 -w "./$module" - # Then, move the generated HTML files to the right place. - name="$(basename $module .py).html" - mv "$name" "$SCRIPT_DIR/autogen/$name" -done