Tweak gen_docs.sh

gen_docs.sh → docs/gen_docs.sh

@@ -1,9 +1,12 @@
 #!/bin/bash -e
 
-cat README.md | grep -v 'pysr_logo.svg' | grep -E -v '\<.*div.*\>' > docs/index.md
-# Transform "## Test status" to "**Test status**":
-cd docs
+# Generate home page using README.md:
+cat ../README.md | grep -v 'pysr_logo.svg' | grep -E -v '\<.*div.*\>' > index.md
+
+# Transform "### Test status" to "**Test status**":
 sed -i.bak 's/\#\#\# Test status/**Test status**/g' index.md
 # Change '# ' to '## ':
 sed -i.bak '10,$s/^\# /## /g' index.md
+
+# Create papers.md
 python generate_papers.py