diff options
| author | Paul Buetow <paul@buetow.org> | 2021-12-26 12:47:57 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2021-12-26 12:47:57 +0000 |
| commit | c54324ca788926a5a4605b36edf8fcf80136834c (patch) | |
| tree | a8e71358ce7c3b2e9d697b52ab1586ec86bbaf6b /lib/generate.source.sh | |
| parent | beeea974c61dbc6bb9bb694ad3e706eaf7921d05 (diff) | |
use external style.css file for HTML
Diffstat (limited to 'lib/generate.source.sh')
| -rw-r--r-- | lib/generate.source.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/generate.source.sh b/lib/generate.source.sh index 6f042eb..300d92f 100644 --- a/lib/generate.source.sh +++ b/lib/generate.source.sh @@ -120,6 +120,11 @@ generate::fromgmi () { log INFO "Converted $num_gmi_files Gemtext files" + # Add CSS style sheet (for html only). For simplicity, copy style sheet + # file to ./ and to ./gemfeed directories (not to mess with file paths too much). + cp $HTML_CSS_STYLE $CONTENT_BASE_DIR/gemtext/style.css + cp $HTML_CSS_STYLE $CONTENT_BASE_DIR/gemtext/gemfeed/style.css + # Add non-.gmi files to html dir. log VERBOSE "Adding other docs to $*" |