#!/bin/sh shell { setglobal c = '////////////////////////////////////////////////////////////////' setglobal skel = 'api-index-skel.txt' sed -e '/^\/\/ table of contents begin/q' $skel echo $c ls api-*.txt | while read filename { match $filename { with api-index-skel.txt | api-index.txt continue } setglobal title = $[sed -e 1q $filename] setglobal html = "$(filename%.txt).html" echo "* link:$html[$title]" } echo $c sed -n -e '/^\/\/ table of contents end/,$p' $skel } >api-index.txt+ if test -f api-index.txt && cmp api-index.txt api-index.txt+ >/dev/null { rm -f api-index.txt+ } else { mv api-index.txt+ api-index.txt }