SHELL=/bin/bash

DOCS=tracing.html

all: ${DOCS}

clean:
	rm -f ${DOCS}

%.html: %.txt gen_html.sh
	./gen_html.sh $< > $@