source: WAeUP_Doc/Makefile @ 807

Last change on this file since 807 was 657, checked in by toni, 18 years ago

small helper - keep docs up to date

File size: 183 bytes
Line 
1
2# keep .html files up to date (requires GNU make):
3
4
5SOURCES=$(wildcard *.rst)
6TARGETS=$(subst .rst,.html, $(SOURCES))
7
8
9all: ${TARGETS}
10
11
12%.html: %.rst
13        python rst2html.py $< > $@
14
Note: See TracBrowser for help on using the repository browser.