diff options
1 files changed, 5 insertions, 5 deletions
| -rwxr-xr-x | generate.sh | 10 |
diff --git a/generate.sh b/generate.sh index a9efe8c..da4a600 100755 --- a/generate.sh +++ b/generate.sh @@ -87,11 +87,11 @@ mkdir -p "$DST" rm -r "$DST"/* 2>/dev/null || true cp -a "$SRC/." "$DST" -/bin/sh ./dunbar/dunbar_awk/dunbar.sh html \ - -i \ - -e ./ext/pagenav.awk -e ./ext/presentation.awk \ - -e ./ext/highlight.awk \ - ./ext/global.du \ +OUTPUT_FORMAT=HTML $AWK \ + -f ./dunbar/dunbar_awk/dunbar.awk \ + ./dunbar/stdenv/sgml.du \ + -c --ignore-errors \ + ./src.du \ $(find "$DST" -type f -name "*.du") date '+%e.%m.%Y %H:%M:%S %Z' > "$DST"/.build |