Skip to content
Snippets Groups Projects
Select Git revision
  • dce064b49c4172f6b305948db7438eab4613ffd3
  • master default protected
  • restructure-2021
  • ae-submission
  • journal-diagrams
  • artifact-evaluation
  • artifact-evaluation-poster
  • ci
8 results

make_readme.sh

Blame
  • make_readme.sh 145 B
    cp README.md README.txt
    pandoc "README.md" -s -H style.css -t html -o README.html
    sed -i -e '/Note: please/d' -e 's/Also Note/Note/' README.html