diff --git a/doc/refs/Makefile b/doc/refs/Makefile index 65f6055..bc7db1f 100644 --- a/doc/refs/Makefile +++ b/doc/refs/Makefile @@ -5,7 +5,7 @@ # # Devin Reade, 1997. # -# $Id: Makefile,v 1.1 1997/11/24 05:07:26 gdr Exp $ +# $Id: Makefile,v 1.2 1997/11/24 05:46:28 gdr Exp $ # # Set this to 'true' (without the quotes) for local links (used @@ -96,7 +96,7 @@ UPLOADS = htmld.tar.gz \ # # targets # -all: h dvi ps +all: h dvi ps man dvi: $(DVI) ps: $(PS) h: $(HTML) $(HTMLD)/index.html $(HTMLD)/unaval.html top.html cleanhtml @@ -141,16 +141,18 @@ top.html: # This target creates the html versions of all the current man pages, # plus the chapter index pages. Unfortunately, this target rebuilds # _all_ of it's files, not just those that are out of date. -man: +man: mansetup @GNOROOT=../.. MANHTML=$(MANHTML) NAME="$(NAME)" \ ADDR="$(ADDRESS)" MKSO="$(MKSO)" HTMLROOT="$(HTML_ROOT)" \ ./mkhtmlman +mansetup: newer + clean: -rm -rf *~ $(TEX_GARBAGE) $(DVIPS_GARBAGE) $(UPLOADS) clobber: clean - -rm -rf $(MANUAL_GARBAGE) $(HTMLD) $(PSD) $(DVID) + -rm -rf $(MANUAL_GARBAGE) $(HTMLD) $(PSD) $(DVID) newer # # default rules diff --git a/doc/refs/mkhtmlman b/doc/refs/mkhtmlman index f88c953..970c859 100755 --- a/doc/refs/mkhtmlman +++ b/doc/refs/mkhtmlman @@ -2,7 +2,7 @@ # # Devin Reade, November 1997. # -# $Id: mkhtmlman,v 1.1 1997/11/24 05:07:27 gdr Exp $ +# $Id: mkhtmlman,v 1.2 1997/11/24 05:46:29 gdr Exp $ man2html=/usr/local/bin/man2html TMPDIR=${TMPDIR:-/tmp} @@ -26,6 +26,10 @@ if [ -z "$ADDR" ]; then echo "ADDR variable not set" exit 1 fi +if [ ! -x ./newer ]; then + echo "./newer does not exist" + exit 1 +fi set +e listfile=$TMPDIR/mkhtmlman.1.$$ @@ -42,13 +46,16 @@ for section in 1 2 3 4 5 6 7 8; do | grep -v libcurses/PSD.doc`; do [ "$F" = 00.DUMMY ] && continue; f=`basename $F` - echo "creating $dest/$f.html" echo "$f" >> $listfile - nroff -man $F | $man2html -nodepage | \ - perl -p -e \ + if ! ./newer $dest/$f.html $F; then + echo "creating $dest/$f.html" + nroff -man $F | $man2html -nodepage | \ + perl -p -e \ 's/
/