From edb2dd3a1da44e01d2c5d17c9654e746e6498a85 Mon Sep 17 00:00:00 2001 From: Guillaume Pellerin Date: Mon, 5 Dec 2016 15:33:34 +0100 Subject: [PATCH] Add readme build script --- bin/build_readme.sh | 4 ++++ 1 file changed, 4 insertions(+) create mode 100755 bin/build_readme.sh diff --git a/bin/build_readme.sh b/bin/build_readme.sh new file mode 100755 index 00000000..b73a0324 --- /dev/null +++ b/bin/build_readme.sh @@ -0,0 +1,4 @@ +#!/bin/sh + +cat doc/src/overview.rst doc/src/architecture.rst doc/src/install.rst doc/src/development.rst doc/src/maintenance.rst doc/src/copyright.rst doc/src/license.rst > README.rst +echo "Build finished. The README.rst file is up to date." -- 2.39.5