From 29d853dd19a67c77ee6e03653a02289b6319abc3 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Thu, 24 Mar 2011 14:56:51 -0700
Subject: Remove obsolete Makefiles.

---
 doc/Makefile | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 doc/Makefile

(limited to 'doc')

diff --git a/doc/Makefile b/doc/Makefile
deleted file mode 100644
index 15808de6..00000000
--- a/doc/Makefile
+++ /dev/null
@@ -1,21 +0,0 @@
-DOC_VER  := $(shell date +"%Y-%m-%d")-snap
-
-all: rust.pdf rust.html
-
-version.texi: Makefile rust.texi
-	git log -1 \
-      --pretty=format:'@macro gitversion%n%h %ci%n@end macro%n' >$@
-
-%.pdf: %.texi version.texi
-	texi2pdf $<
-
-%.html: %.texi version.texi
-	makeinfo --html --ifhtml --force --no-split --output=$@ $<
-
-snap: rust.pdf
-	mv $< rust-$(DOC_VER).pdf
-
-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 rust.cps \
-          version.texi
-- 
cgit v1.2.3