From b590eaa2f64ead3384eadc6fe58f6358aa1a0478 Mon Sep 17 00:00:00 2001 From: Wojtek Kosior Date: Wed, 22 Dec 2021 16:39:34 +0100 Subject: reworked build system; added missing license notices --- process_html_file.sh | 43 ------------------------------------------- 1 file changed, 43 deletions(-) delete mode 100755 process_html_file.sh (limited to 'process_html_file.sh') diff --git a/process_html_file.sh b/process_html_file.sh deleted file mode 100755 index 1275b3e..0000000 --- a/process_html_file.sh +++ /dev/null @@ -1,43 +0,0 @@ -#!/bin/sh - -# This file is part of Haketilo -# -# Copyright (C) 2021, Wojtek Kosior -# -# This program is free software: you can redistribute it and/or modify -# it under the terms of the CC0 1.0 Universal License as published by -# the Creative Commons Corporation. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# CC0 1.0 Universal License for more details. - -# Call like: -# ./process_html_file.sh html/options.html - -. ./shell_utils.sh - -FILE="$1" -FILEKEY=$(sanitize "$FILE") - -if [ "x$(map_get HTML_FILENAMES $FILEKEY)" = "xyes" ]; then - printf 'import loop on %s\n' "$FILE" >&2 - exit 1 -fi - -map_set_export HTML_FILENAMES $FILEKEY yes - -awk '\ -!/^[\t\r ]*[\t\r ]*$/{ - print $0; -} -/^[\t\r ]*[\t\r ]*$/{ - indent = substr($0, 1, index($0, "<") - 1); - command = "./process_html_file.sh " $2; - while (command | getline) { - print indent $0; - } - if (close(command) != 0) - exit 1; -}' < "$FILE" -- cgit v1.2.3