Spaces:
Running
Running
File size: 905 Bytes
082d514 4978916 082d514 4978916 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 |
#!/bin/bash -e
# Generate home page using README.md:
echo '<div style="width:100%;height:0px;position:relative;padding-bottom:56.250%;"><iframe src="https://streamable.com/e/ncvqhy" frameborder="0" width="100%" height="100%" allowfullscreen style="width:100%;height:100%;position:absolute;left:0px;top:0px;overflow:hidden;"></iframe></div>' >index.md
cat ../README.md | grep -v 'user-images' | 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
# Copy _api.md up to but not including PARAMSKEY and all tex after:
cat _api.md | sed -n '1,/PARAMSKEY/p' | sed '$d' >api.md
python gen_param_docs.py >> api.md
# Copy _api.md after PARAMSKEY:
cat _api.md | sed -n '/PARAMSKEY/,$p' | sed '1d' >>api.md
|