add a .gitignore for java
[ust.git] / doc / manual / Makefile
1 all: ust.html
2
3 ust.html: manual.texinfo
4 makeinfo --html --no-split manual.texinfo
This page took 0.028926 seconds and 4 git commands to generate.