diff options
author | Andrew Yu <andrew@andrewyu.org> | 2022-04-16 18:59:29 +0200 |
---|---|---|
committer | Andrew Yu <andrew@andrewyu.org> | 2022-04-16 18:59:29 +0200 |
commit | 77e055a2f12ece9c3ab6540dd8093b96b63b4246 (patch) | |
tree | 83df768c3c1b8c0985850c100879808a9eb16daf /Makefile | |
parent | 49e300d91452f6347830c82dd9378cdea7d87fd4 (diff) | |
download | www-77e055a2f12ece9c3ab6540dd8093b96b63b4246.tar.gz |
typo
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Makefile b/Makefile index 3219102..5fa652a 100644 --- a/Makefile +++ b/Makefile @@ -1,10 +1,11 @@ +update: pragmatics.txt + git add . + git commit + git push + pragmatics.txt: pragmatics.xml xml2rfc --text --html pragmatics.xml pragmatics.xml: pragmatics.md mmark pragmatics.md > pragmatics.xml -update: - git add . - git commit - git push |