re-enable rename script

Author: hjwp

rename-chapter.sh

@@ -5,17 +5,18 @@ set -o pipefail
 OLD_CHAPTER=$1
 NEW_NAME=$2
 
-# git mv "$OLD_CHAPTER.asciidoc" "$NEW_NAME.asciidoc"
-# git mv "tests/test_$OLD_CHAPTER.py" "tests/test_$NEW_NAME.py"
-#
-# git mv "source/$OLD_CHAPTER" "source/$NEW_NAME"
-#
-# cd "source/$NEW_NAME/superlists" 
-# git checkout "$OLD_CHAPTER"
-# git checkout -b "$NEW_NAME"
-# git push -u local
-# git push -u origin
-# cd ../../..
+git mv "$OLD_CHAPTER.asciidoc" "$NEW_NAME.asciidoc"
+mv "$OLD_CHAPTER.html" "$NEW_NAME.html" || touch "$NEW_NAME.html"
+git mv "tests/test_$OLD_CHAPTER.py" "tests/test_$NEW_NAME.py"
+
+git mv "source/$OLD_CHAPTER" "source/$NEW_NAME"
+
+cd "source/$NEW_NAME/superlists" 
+git checkout "$OLD_CHAPTER"
+git checkout -b "$NEW_NAME"
+git push -u local
+git push -u origin
+cd ../../..
 
 git grep -l "$OLD_CHAPTER" | xargs sed -i '' "s/$OLD_CHAPTER/$NEW_NAME/g"