diff options
author | Lars Wirzenius <lwirzenius@wikimedia.org> | 2020-03-12 15:23:16 +0200 |
---|---|---|
committer | Lars Wirzenius <lwirzenius@wikimedia.org> | 2020-03-12 15:23:16 +0200 |
commit | 658c1630cfddadbac460144e83e77ae510455a3b (patch) | |
tree | 17530a350d683ee50b9254d8018fcb6662bd3b36 | |
parent | 25d7dc26fd0ec8d8d72aa3ead1126b0b4f5a6e47 (diff) | |
download | wmf-ssh-config-658c1630cfddadbac460144e83e77ae510455a3b.tar.gz |
Add: Makefile
-rw-r--r-- | Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..ecb709d --- /dev/null +++ b/Makefile @@ -0,0 +1,8 @@ +.SUFFIXES: .md .pdf + +.md.pdf: + sp-docgen "$<" --output "$@" + +all: ssh-config.pdf + +ssh-config.pdf: ssh-config.md ssh-config.yaml ssh-config.py Makefile |