diff options
3 files changed, 3 insertions, 3 deletions
| m--------- | dunbar | 0 | ||||
| -rwxr-xr-x | make.sh | 4 | ||||
| -rw-r--r-- | src/INIT.du | 2 |
diff --git a/dunbar b/dunbar -Subproject c8d67cab27f8ab93289fa69e3291367fb083ed7 +Subproject eaa4cb0123bcf01056d4dc400f2c3e513f41e96 @@ -47,9 +47,9 @@ prepare() { } build() { - OUTPUT_FORMAT=HTML "$AWK" \ + "$AWK" \ -f ./dunbar/dunbar_awk/dunbar.awk \ - ./dunbar/stdenv/sgml.du \ + ./dunbar/stdenv/lang/html.du ./dunbar/stdenv/code.du \ -c "$SRC/INIT.du" \ $(find "$DST" -type f -name '*.du') diff --git a/src/INIT.du b/src/INIT.du index 717f259..e11e835 100644 --- a/src/INIT.du +++ b/src/INIT.du @@ -1,6 +1,6 @@ 'hide Necessary definitions for all pages under src -'if {eq {ifn {OUTPUT_FORMAT};{env OUTPUT_FORMAT}};HTML} +'if {or {empty {env OUTPUT_FORMAT}};{eq HTML;{env OUTPUT_FORMAT}}} # FILENAME |