general userdoc header/footer moved

master
lars 18 years ago
parent b936229806
commit f029c973e8

@ -87,8 +87,7 @@ for LANG in $LANGUAGES; do
echo " building static doc page"
offline_file=$OFFLINE_DIR/$LANG/$(basename $TMP_FILE)
mkdir -p "$OFFLINE_DIR/$LANG"
# TODO move first header file to $OFFLINE_DIR instead of $OFFLINE_DIR/..
cat "$OFFLINE_DIR/../$HEADER_FILE" "$OFFLINE_DIR/$LANG/$HEADER_FILE" "$TMP_FILE" "$OFFLINE_DIR/$LANG/$FOOTER_FILE" "$OFFLINE_DIR/../$FOOTER_FILE" >"$offline_file"
cat "$OFFLINE_DIR/$HEADER_FILE" "$OFFLINE_DIR/$LANG/$HEADER_FILE" "$TMP_FILE" "$OFFLINE_DIR/$LANG/$FOOTER_FILE" "$OFFLINE_DIR/$FOOTER_FILE" >"$offline_file"
sed -i "s#=\"$CBOX_CGI\([^\"]*\)\"#=\"\1.html\"#g" "$offline_file"
# do it twice - this should not be necessary
sed -i "s#=\"$CBOX_CGI\([^\"]*\)\"#=\"\1.html\"#g" "$offline_file"

Loading…
Cancel
Save