From c250bd18e629d17d28a4e75d4b15d3a57e03f2bb Mon Sep 17 00:00:00 2001 From: Fabian Egli Date: Sun, 24 Mar 2019 18:12:42 +0100 Subject: [PATCH] de: remove obsolete build script --- de/build.sh | 9 --------- 1 file changed, 9 deletions(-) delete mode 100755 de/build.sh diff --git a/de/build.sh b/de/build.sh deleted file mode 100755 index 0a4585d9..00000000 --- a/de/build.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/bash - -#This script glues the pages together. - -cat head.html guide.head.html top-bar-gnu.html index.html.pre gnu-step.html rest.html footer.html > index.html -cat head.html guide.head.html top-bar-mac.html index.html.pre mac-step.html rest.html footer.html > mac.html -cat head.html guide.head.html top-bar-win.html index.html.pre win-step.html rest.html footer.html > windows.html -cat head.html infographic.html.pre footer.html > infographic.html -cat head.html next_steps.html.pre footer.html > next_steps.html -- 2.25.1