#!/bin/sh
# Set up directories.
-metadata_dir=.meta
+metadata_dir=metadata
public_dir=public
cur_dir=$(pwd)
mkdir -p "$public_dir"
rm "$file"
fi
done
-for file in "$metadata_dir"/*.uuid; do
+for file in "$metadata_dir"/*.automatic_metadata; do
basename=$(basename "$file")
if test -f "$file" &&
- ! test -f "${basename%.uuid}.md" &&
- ! test -f "${basename%.uuid}.rst"; then
+ ! test -f "${basename%.automatic_metadata}.md" &&
+ ! test -f "${basename%.automatic_metadata}.rst"; then
rm "$file"
fi
done
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