diff options
Diffstat (limited to 'manual')
-rwxr-xr-x | manual/summary.pl | 1 | ||||
-rw-r--r-- | manual/tsort.awk | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/manual/summary.pl b/manual/summary.pl index ab0801b045..d0ccb1e432 100755 --- a/manual/summary.pl +++ b/manual/summary.pl @@ -3,7 +3,6 @@ # Copyright (C) 2017-2021 Free Software Foundation, Inc. # This file is part of the GNU C Library. -# Contributed by Rical Jasan <ricaljasan@pacific.net>, 2017. # The GNU C Library is free software; you can redistribute it and/or # modify it under the terms of the GNU Lesser General Public License diff --git a/manual/tsort.awk b/manual/tsort.awk index 9ebc61f6d0..7084240522 100644 --- a/manual/tsort.awk +++ b/manual/tsort.awk @@ -1,7 +1,6 @@ #!/usr/bin/awk -f # Generate topologically sorted list of manual chapters. # Copyright (C) 1998-2021 Free Software Foundation, Inc. -# Written by Ulrich Drepper <drepper@cygnus.com>, 1998. BEGIN { cnt = 0 |