de: further improvements to maintainability

[enc.git] / de / build.sh

diff --git a/de/build.sh b/de/build.sh
index f2f3ebe3c890dd9f4d2a6a075feace01de583747..2a6348620eb4ab3007d3156df7ae83c81919be29 100755 (executable)
--- a/de/build.sh
+++ b/de/build.sh
@@ -2,5 +2,7 @@
 
 #This script glues the pages together.
 
-cat head.html index.html.pre footer.html > index.html
+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