diff options
author | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2012-02-01 22:44:04 +0100 |
---|---|---|
committer | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2012-02-01 22:44:04 +0100 |
commit | 58f6dd533c8506a780fc780a49e237300948fb59 (patch) | |
tree | caf39456ea3af66752f397e5cdfe609b6d6a7afa /doc/scripts | |
parent | bec3227c7df72fd0ae1e603f7e27e2c37cfb7cd0 (diff) | |
download | gnutls-58f6dd533c8506a780fc780a49e237300948fb59.tar.gz |
updated information in manpages.
Diffstat (limited to 'doc/scripts')
-rwxr-xr-x | doc/scripts/gdoc | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/doc/scripts/gdoc b/doc/scripts/gdoc index 7f787fd509..0380bbabe1 100755 --- a/doc/scripts/gdoc +++ b/doc/scripts/gdoc @@ -700,11 +700,14 @@ sub output_man { if ($args{'bugsto'}) { print ".SH \"REPORTING BUGS\"\n"; print "Report bugs to <". $args{'bugsto'} . ">.\n"; + print ".br\n"; + print "General guidelines for reporting bugs: http://www.gnu.org/gethelp/\n"; + print ".br\n"; if ($args{'pkgname'}) { print $args{'pkgname'} . " home page: " . "http://www.gnu.org/software/" . $args{'module'} . "/\n"; } - print "General help using GNU software: http://www.gnu.org/gethelp/\n"; + print "\n"; } if ($args{'copyright'}) { @@ -731,6 +734,10 @@ sub output_man { print ".B info " . $args{'seeinfo'} . "\n"; print ".PP\n"; print "should give you access to the complete manual.\n"; + print "As an alternative you may obtain the manual from:\n"; + print ".IP\n"; + print ".B http://www.gnu.org/software/" . $args{'module'} . "/manual/\n"; + print ".PP\n"; } } |