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

make_readme.sh

Blame
  • rschoene's avatar
    René Schöne authored
    - Added table for commands to run
    - Added styling for tables and code
    - Added script to generated html
    - Changed command to run docker (with using volumes)
    dce064b4
    History
    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