#!/bin/sh
# Set up directories.
-metadata_dir=.meta
+metadata_dir=metadata
public_dir=public
cur_dir=$(pwd)
mkdir -p "$public_dir"
for file in *.rst *.md; do
if test -f "$file"; then
redo-ifchange "${metadata_dir}/${file%.*}.intermediate"
- fi
-done
-for file in "$metadata_dir"/*.intermediate; do
- if test -f "$file"; then
- basename=$(basename "$file")
- html_file=${basename%.intermediate}.html
+ html_file=${file%.*}.html
redo-ifchange "$html_file"
ln -sf "$cur_dir/$html_file" "${public_dir}/"
fi