view make/do-master.sh @ 81:6adf16f10d54

Split up make.sh so it's easier to call subsets of its functionality.
author Rob Landley <rob@landley.net>
date Tue, 23 Oct 2007 18:35:49 -0500
parents
children
line wrap: on
line source

#!/bin/bash

# Update master index

if [ -z "$WEBDIR" ]
then
  echo set WEBDIR
  exit 1
fi

$WEBDIR/make/indexsections.py $WEBDIR/master.idx > $WEBDIR/index.html || exit 1