2074c2bdb0
Bernd, just set your default username for comedi.org, www.comedi.org, etc. in ~/.ssh/config, e.g.: Host comedi.org, *.comedi.org User bporr
22 lines
412 B
Makefile
Executable file
22 lines
412 B
Makefile
Executable file
|
|
|
|
|
|
htmlfiles = documentation.html download.html hardware.html \
|
|
index.html links.html mailinglist.html applications.html
|
|
|
|
all: $(htmlfiles)
|
|
|
|
%.html: %.xml comedi.xsl
|
|
xsltproc --xinclude $< -o $@
|
|
|
|
push:
|
|
rsync -a --files-from=files . \
|
|
www.comedi.org:/srv/comedi.org/www
|
|
|
|
hardware.html: devices.xml
|
|
|
|
devices.xml:
|
|
perl make_device_table.pl < devices.txt > devices.xml
|
|
|
|
clean:
|
|
rm -f $(htmlfiles) devices.xml
|