aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2010-06-16 14:30:45 -0700
committerGraydon Hoare <[email protected]>2010-06-16 14:30:45 -0700
commitc01efc669f09508b55eced32d3c88702578a7c3e (patch)
tree08db2c334dc9be2ed6fff214be6a641f6c1b20b2 /doc
downloadrust-c01efc669f09508b55eced32d3c88702578a7c3e.tar.xz
rust-c01efc669f09508b55eced32d3c88702578a7c3e.zip
Initial git commit.
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile11
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile
new file mode 100644
index 00000000..4ac419c2
--- /dev/null
+++ b/doc/Makefile
@@ -0,0 +1,11 @@
+
+all: rust.pdf rust.html
+
+%.pdf: %.texi
+ texi2pdf $<
+
+%.html: %.texi
+ makeinfo --html --force --no-split --output=$@ $<
+
+clean:
+ rm -f rust.aux rust.cp rust.fn rust.ky rust.log rust.pdf rust.html rust.pg rust.toc rust.tp rust.vr \ No newline at end of file