From 979fc50b10aa4fdcbb57ebb137c8be501402e0d3 Mon Sep 17 00:00:00 2001 From: Bastien Guerry Date: Sat, 15 Jan 2011 12:06:56 +0100 Subject: [PATCH] Makefile: Updating release files on orgmode.org server Add a section on some directives that the maintainer should only use from the orgmode.org server. --- README_maintainer | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/README_maintainer b/README_maintainer index c600ddac0..8d1fdc253 100644 --- a/README_maintainer +++ b/README_maintainer @@ -131,6 +131,23 @@ from maint with this command: : make fixrelease TAG=7.13.01 +** Updating release files on orgmode.org server + +As of 2011-01-15, these directives of the Makefile are meant to be +used /from orgmode.org server/ and will copy the release files to the +webserver directory. + +- ~$ make makerelease :: creates a =RELEASE/= directory containing + manuals and release files (=org.tar.gz=, =org.zip=, etc.) + +- ~$ make sync_release :: copy the content of =RELEASE/= to the right + location on the server + +- ~$ make sync_manuals :: copy the manuals from =doc/= to the right + location on the server + +- ~$ make relup :: call the three directives described above. + ** Between releases While working on master between releases, I used to use something like