CSS=mics.css
TEXI=makeinfo
SRC=gdb-sh.texi \
    mics.texi \
    sample.texi \
    reconfigurable_unit.texi \
    simpleprocessor.texi

all: $(SRC)
	makeinfo --html --css-include=$(CSS) gdb-sh.texi
	makeinfo --html --css-include=$(CSS) mics.texi
	makeinfo --html --css-include=$(CSS) reconfigurable_unit.texi
	makeinfo --html --css-include=$(CSS) sample.texi
	makeinfo --html --css-include=$(CSS) simpleprocessor.texi
