Gunter Labes ebba6f469e remove the man pages after install

2008-04-09 10:52:07 +00:00

..

new_release

…

revert_build

…

run_server

specify the ports directly in the script

2008-03-28 23:39:27 +00:00

send_server_command

* give an error message when a non-existing server is used

2008-03-19 02:55:08 +00:00

send_server_message

* give an error message when a non-existing server is used

2008-03-19 02:55:08 +00:00

update_server

remove the man pages after install

2008-04-09 10:52:07 +00:00