diff options
author | Bastien Guerry <bzg@altern.org> | 2011-01-15 12:06:56 +0100 |
---|---|---|
committer | Bastien Guerry <bzg@altern.org> | 2011-01-15 12:06:56 +0100 |
commit | 979fc50b10aa4fdcbb57ebb137c8be501402e0d3 (patch) | |
tree | 35c083993750dee98508d75247bd3ebae59dd9bb | |
parent | 88871b505390e4e08a0f7869f1ec51df148c3add (diff) | |
download | org-mode-979fc50b10aa4fdcbb57ebb137c8be501402e0d3.tar.gz |
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.
-rw-r--r-- | README_maintainer | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/README_maintainer b/README_maintainer index c600dda..8d1fdc2 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 |