Files
MP-SPDZ/doc/gen-readme.sh
2023-02-16 12:35:18 +11:00

8 lines
270 B
Bash
Executable File

#!/bin/sh
echo '# Getting Started' > readme.md
sed -e '1 d' -e 's#(Programs/Source#(../Programs/Source#g' -e 's#(./Dockerfile#(../Dockerfile#' ../README.md >> readme.md
echo '# Client Interface' > client-interface.md
cat ../ExternalIO/README.md >> client-interface.md