- Commit
- 4ede8b63f843cee861fa71812edf437c0a22d615
- Parent
- cd1104db431f811a02c74f08fc5968f92a0bfdf3
- Author
- Pablo <pablo-escobar@riseup.net>
- Date
Minor change to the Makefile
caml-urm
A OCaml module for manipulating unlimited register machines
Diffstat
1 file changed, 1 insertion, 1 deletion
| Status | File Name | N° Changes | Insertions | Deletions |
| Modified | Makefile | 2 | 1 | 1 |
diff --git a/Makefile b/Makefile @@ -2,4 +2,4 @@ docs.pdf: urm.mli ocamldoc -latex -o docs.tex urm.mli latexmk -pdflatex docs.tex texclear docs.tex - rm docs.tex ocamldoc.sty + rm docs.tex ocamldoc.sty