diff --git a/AUTHORS b/AUTHORS index 357d4d1d6..363ef8f8d 100644 --- a/AUTHORS +++ b/AUTHORS @@ -133,7 +133,6 @@ In the subdirectory scripts, wrote: In the subdirectory doc, wrote: script-getopt.texi srfi-modules.texi - srfi-13-14.texi repl-modules.texi In the subdirectory doc, changes to: guile.texi intro.texi posix.texi