From ef31b2010959bbb51f29c7a8da1cbbc0d958c967 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Gabriel=20P=C3=A9rez-Cerezo?= Date: Sat, 21 Jun 2014 00:11:46 +0200 Subject: [PATCH] de: Improved build process, translated headers --- de/build.sh | 2 +- de/build.sh~ | 6 ++++++ de/guide.head.html | 21 +++++++++++++++++++++ de/guide.head.html~ | 21 +++++++++++++++++++++ de/index.html | 7 +++---- de/index.html.pre | 22 ---------------------- 6 files changed, 52 insertions(+), 27 deletions(-) create mode 100755 de/build.sh~ create mode 100644 de/guide.head.html create mode 100644 de/guide.head.html~ diff --git a/de/build.sh b/de/build.sh index f2f3ebe3..d15a9f3e 100755 --- a/de/build.sh +++ b/de/build.sh @@ -2,5 +2,5 @@ #This script glues the pages together. -cat head.html index.html.pre footer.html > index.html +cat head.html guide.head.html index.html.pre footer.html > index.html cat head.html infographic.html.pre footer.html > infographic.html diff --git a/de/build.sh~ b/de/build.sh~ new file mode 100755 index 00000000..f2f3ebe3 --- /dev/null +++ b/de/build.sh~ @@ -0,0 +1,6 @@ +#!/bin/bash + +#This script glues the pages together. + +cat head.html index.html.pre footer.html > index.html +cat head.html infographic.html.pre footer.html > infographic.html diff --git a/de/guide.head.html b/de/guide.head.html new file mode 100644 index 00000000..2324ced3 --- /dev/null +++ b/de/guide.head.html @@ -0,0 +1,21 @@ + + + + +