From 42f575043826f87573895c1961f98764bc08a86b Mon Sep 17 00:00:00 2001 From: "Hansi, dl9rdz" Date: Mon, 29 Apr 2019 18:19:02 +0200 Subject: [PATCH] nicer download page --- .travis/push.sh | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/.travis/push.sh b/.travis/push.sh index 360149b..92fcf3f 100755 --- a/.travis/push.sh +++ b/.travis/push.sh @@ -4,19 +4,26 @@ setup_git() { git config --global user.name "dl9rdz (via Travis CI)" } generate_website_index() { - echo "" > download.html - echo "

Master repository

" >> download.html git add download.html git commit --message "Travis build: $TRAVIS_BUILD_NUMBER" }