projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0439bc) | patch
maint.mk: provide a web-manual-update target
authorAkim Demaille <akim@lrde.epita.fr>
Mon, 30 Jul 2012 11:41:01 +0000 (13:41 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Mon, 30 Jul 2012 12:31:51 +0000 (14:31 +0200)
commit957a625d8a133cb9cf2fe5d604c74dd8b4a28801
tree73c85fcb4b52abbc1bb4ff416d88e6d04e83d61btree | snapshot
parentc0439bc019060e5ddd85114463799e5d813fb0f0commit | diff
maint.mk: provide a web-manual-update target

* top/maint.mk: here.
* top/README-release: Use it to simplify the web manual update step.
ChangeLog diff | blob | history
top/README-release diff | blob | history
top/maint.mk diff | blob | history
gnulib debian + stable branches