suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

More robust use of `$htmloutput'.

Browse Source
This commit is contained in:
Eli Barzilay 2012-01-05 21:19:39 -05:00
parent aa0c90a2a0
commit 6616d53831
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/meta/build/build
View File

@ -879,13 +879,13 @@ version_init() { # input: plthome
}
# html functions -- all write to $htmloutput
# ($htmloutput is usually $index; also, assume that $htmloutput is in the
# current directory -- be careful when cd-ing!)
# ($htmloutput is usually $index in the current directory)
html_begin() { # inputs: title [output-name]
local htmltitle="$1"; shift
htmloutput="$index"
if [[ "$1" != "" ]]; then htmloutput="$1"; shift; fi
show "Creating \"$(pwd)/$htmloutput\" for \"$htmltitle\""
if [[ "$htmloutput" != /* ]]; then htmloutput="$(pwd)/htmloutput"; fi
show "Creating \"$htmloutput\" for \"$htmltitle\""
# the *.title. file marks this for later patching through the web templates,
# so it should be created even if it won't get used later.
_rm "$htmloutput" "$htmloutput.title."