[gcc/devel/sphinx] Remove man-related directives.

[Martin Liska <marxin@gcc.gnu.org>]

https://gcc.gnu.org/g:fcea5603e57e3f8c17ca259f36bd92c0e0bd8f35

commit fcea5603e57e3f8c17ca259f36bd92c0e0bd8f35
Author: Martin Liska <mliska@suse.cz>
Date:   Wed Jun 2 14:45:49 2021 +0200

    Remove man-related directives.

Diff:
---
 gcc/doc/include/funding.texi | 18 ------------------
 1 file changed, 18 deletions(-)

diff --git a/gcc/doc/include/funding.texi b/gcc/doc/include/funding.texi
index d1583fabc0d..f138b1b670e 100644
--- a/gcc/doc/include/funding.texi
+++ b/gcc/doc/include/funding.texi
@@ -1,13 +1,4 @@
-@ignore
-@c Set file name and title for man page.
-@setfilename fsf-funding
-@settitle Funding Free Software
-@c man begin SEEALSO
-gpl(7), gfdl(7).
-@c man end
-@end ignore
 @node Funding
-@c man begin DESCRIPTION
 @unnumbered Funding Free Software
 
 If you want to have more free software a few years from now, it makes
@@ -49,12 +40,3 @@ major new features or packages contribute the most.
 By establishing the idea that supporting further development is ``the
 proper thing to do'' when distributing free software for a fee, we can
 assure a steady flow of resources into making more free software.
-@c man end
-
-@display
-@c man begin COPYRIGHT
-Copyright @copyright{} 1994 Free Software Foundation, Inc.
-Verbatim copying and redistribution of this section is permitted
-without royalty; alteration is not permitted.
-@c man end
-@end display