all: html pdf clean: echo dummy clean .include