From 2bdc5d09389c8fccd8100c0c07c54b2b8895c76a Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 21 Sep 2018 15:09:08 +0100
Subject: Remove cheri and mips specs -- they now have their own repository.

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

(limited to 'mips/doc/Makefile')

diff --git a/mips/doc/Makefile b/mips/doc/Makefile
deleted file mode 100644
index 0220a4cc..00000000
--- a/mips/doc/Makefile
+++ /dev/null
@@ -1,7 +0,0 @@
-all:
-	cat preamble.tex ../mips_prelude.sail ../mips_wrappers.sail ../mips_insts.sail ../mips_epilogue.sail postamble.tex > mips_all.tex
-	pdflatex mips_all.tex
-
-clean:
-	rm -rf *~
-	rm -rf mips_all.*
-- 
cgit v1.2.3