Rearrange Github pages-related Makefile targetsmaster
commit5f880c34c88d5fda851483245b914344e1aa5d4e
authorBert Burgemeister <trebbu@googlemail.com>
Thu, 12 Oct 2017 05:54:49 +0000 (12 07:54 +0200)
committerBert Burgemeister <trebbu@googlemail.com>
Thu, 12 Oct 2017 05:54:49 +0000 (12 07:54 +0200)
tree3c20b5013d517b800870d9cf925ac3bb2510aaf5
parentf11ea929ca996828057c03539b0b13bb34e53444
Rearrange Github pages-related Makefile targets
Makefile
Makefile.publish