diff options
| author | Paul Buetow <paul@buetow.org> | 2022-05-28 18:51:26 +0100 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2022-05-28 18:51:26 +0100 |
| commit | ce927cf1ccf5bc6ddce116d9ad03be43117ca464 (patch) | |
| tree | 961cf5438691833041ca8897aa833dd0f9516c36 /lib | |
| parent | 6d02279c3526d00ca63164f89e6bdbbee9828520 (diff) | |
move html related content to htmlextras
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/generate.source.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/generate.source.sh b/lib/generate.source.sh index dedbe31..4f40101 100644 --- a/lib/generate.source.sh +++ b/lib/generate.source.sh @@ -137,7 +137,7 @@ generate::fromgmi () { for format in "$@"; do generate::fromgmi_add_docs "$src" "$format" & done - done < <(find "$CONTENT_BASE_DIR/gemtext" -type f | $GREP -E -v '(\.git.*|\.gmi|atom.xml|\.tmp)$') + done < <(find "$CONTENT_BASE_DIR/gemtext" -type f | $GREP -E -v '(\.git.*|\.gmi|atom.xml|\.tmp|style.css)$') wait log INFO "Added $num_doc_files other documents to each of $*" @@ -156,6 +156,7 @@ generate::fromgmi () { done & done wait + rm $CONTENT_BASE_DIR/gemtext/style.css if [[ -z "$GIT_COMMIT_MESSAGE" ]]; then GIT_COMMIT_MESSAGE='Publishing new version' |
