Browse Source

better index for gmi

rss-improvement
parent
commit
b151370ba7
Signed by: yogsototh GPG Key ID: 7B19A4C650D59646
  1. 9
      Makefile
  2. 2
      engine/mk-gemini-index.sh
  3. 2
      engine/pre-deploy.sh

9
Makefile

@ -68,6 +68,15 @@ $(DST_DIR)/%.gmi: $(SRC_DIR)/%.org $(GMI) engine/org2gemini_step1.sh
mkdir -p $(dir $@)
$(GMI) "$<" "$@"
# GEMINI INDEX
GMI_INDEX := $(DST_DIR)/index.gmi
MK_GMI_INDEX := engine/mk-gemini-index.sh
$(GMI_INDEX): $(DST_GMI_FILES) $(MK_GMI_INDEX)
mkdir -p $(DST_DIR)
$(MK_GMI_INDEX)
ALL += $(GMI_INDEX)
# OPTIM PHASE

2
engine/mk-gemini-index.sh

@ -2,7 +2,7 @@
cd "$(git rev-parse --show-toplevel)" || exit 1
# Directory
webdir="_optim"
webdir="_site"
postsdir="$webdir/posts"
indexfile="$webdir/index.gmi"

2
engine/pre-deploy.sh

@ -14,7 +14,5 @@ echo "Optim HTML size"
# ./engine/update-file-size.sh
echo "Building RSS"
./engine/mkrss.sh
echo "Building Gemini Index"
./engine/mk-gemini-index.sh
echo "Building Gemini Atom"
./engine/mk-gemini-atom.sh

Loading…
Cancel
Save