chiark / gitweb /
Makefile: add git push to publication target
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 20 Mar 2019 23:36:28 +0000 (23:36 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 20 Mar 2019 23:36:45 +0000 (23:36 +0000)
commita5932f7cf7b9283c826bc562f9916e72beeb9b38
treec1d1dd67e34c002c83522559c954770a09d8d6e2
parent80d5c2f420e30982360cd7398e63898e05111c9f
Makefile: add git push to publication target
Makefile