diff options
author | Omar Polo <op@omarpolo.com> | 2020-10-02 19:39:00 +0200 |
---|---|---|
committer | Omar Polo <op@omarpolo.com> | 2020-10-02 19:39:00 +0200 |
commit | 3e4749f7f9b6c37c1870ed3c0561083de17f2197 (patch) | |
tree | 1b7727c0d84c515f431f16d8e953fd89ec3562c1 /Makefile |
initial commit
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..9f005bf --- /dev/null +++ b/Makefile @@ -0,0 +1,19 @@ +CC = cc +CFLAGS = -Wall -Wextra -g +LDFLAGS = -ltls + +.PHONY: all clean + +all: gmid TAGS README.md + +gmid: gmid.o + ${CC} gmid.o -o gmid ${LDFLAGS} + +TAGS: gmid.c + -etags gmid.c + +README.md: gmid.1 + mandoc -Tmarkdown gmid.1 | sed -e '1d' -e '$d' > README.md + +clean: + rm -f gmid.o gmid |