# Makefile to create the html version from the .txt
# Last edited on 2008-02-04 13:05:07 by stolfi
NOTENUM = 030
PAGE = Note-$(NOTENUM).html
SOURCE = Note-$(NOTENUM).txt
TOOLBIN = ${STOLFIHOME}/bin
all: $(PAGE)
$(PAGE): $(SOURCE) $(TOOLBIN)/make-page-from-text-file
$(TOOLBIN)/make-page-from-text-file \
-bgcolor 'ffffee' \
-title 'Note $(NOTENUM)' \
< $(SOURCE) \
> $(PAGE)