# 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)