Commit 6649e7b0dea53804fdb0aab0bd7597d8d82b628c

Bruno Haible 2019-01-06T16:57:56

doc: Update documentation about 'progname' module. * doc/progname.texi: Rename from doc/error.texi. Change node name and title. Rewrite. * doc/gnulib.texi (Particular Modules): Update.