diff options
| -rwxr-xr-x | release-scripts/build-manpages-git | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/release-scripts/build-manpages-git b/release-scripts/build-manpages-git index a9c51b53cf2..0de106caf1e 100755 --- a/release-scripts/build-manpages-git +++ b/release-scripts/build-manpages-git @@ -1,6 +1,20 @@ #!/bin/sh # # Copyright (C) Michael Adam 2010 +# +# This program is free software; you can redistribute it and/or modify it +# under the terms of the GNU General Public License as published by the Free +# Software Foundation; either version 3 of the License, or (at your option) +# any later version. +# +# This program is distributed in the hope that it will be useful, but WITHOUT +# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for +# more details. +# +# You should have received a copy of the GNU General Public License along with +# this program; if not, see <http://www.gnu.org/licenses/>. +# _exit() { echo $@ |