diff options
author | Holden Rohrer <hr@hrhr.dev> | 2020-07-24 12:22:19 -0400 |
---|---|---|
committer | Holden Rohrer <hr@hrhr.dev> | 2020-07-24 12:23:46 -0400 |
commit | a8de3886aa65d77475ee1ebe537bfae4e5a5beab (patch) | |
tree | 406c55f7137c21486577eb89de9e5dad96c6bc1d /Makefile | |
parent | 17481441a7ce8ffe497b043e13bb3e6f98849921 (diff) |
switched to ext-independent code (ver 1.1)
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ .POSIX: DESTDIR=/home/minimun/minimun -VER=1.0 +VER=1.1 all: format.tex minimun |