diff options
Diffstat (limited to 'mips/doc/Makefile')
| -rw-r--r-- | mips/doc/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/mips/doc/Makefile b/mips/doc/Makefile new file mode 100644 index 00000000..0220a4cc --- /dev/null +++ b/mips/doc/Makefile @@ -0,0 +1,7 @@ +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.* |