[de1656]: src / doc / user / Makefile History

Child: [3de5b5] (diff)

Download this file

Makefile    3 lines (2 with data), 48 Bytes 

1
2
usermanual.html: usermanual.sgml

	sh xmlmake.sh