Change manual to texinfo format and enhance it

[ust.git] / doc / manual / Makefile

diff --git a/doc/manual/Makefile b/doc/manual/Makefile
new file mode 100644 (file)
index 0000000..62a430f
--- /dev/null
+++ b/doc/manual/Makefile
@@ -0,0 +1,4 @@
+all: ust.html
+
+ust.html: manual.texinfo
+       makeinfo --html --no-split manual.texinfo