de: Changed header size to make it fit on the screen
[enc.git] / de / build.sh
CommitLineData
4f6859f7
GPC
1#!/bin/bash
2
3#This script glues the pages together.
4
ef31b201 5cat head.html guide.head.html index.html.pre footer.html > index.html
4f6859f7 6cat head.html infographic.html.pre footer.html > infographic.html