From noreply at github.com  Tue Jul 27 12:56:28 2021
From: noreply at github.com (Takuto ASAKURA)
Date: Tue, 27 Jul 2021 03:56:28 -0700
Subject: [texdoc-commits] [TeX-Live/texdoc] 72e07b: small formatting
Message-ID: <TeX-Live/texdoc/push/refs/heads/master/82aff8-70bbd8@github.com>

  Branch: refs/heads/master
  Home:   https://github.com/TeX-Live/texdoc
  Commit: 72e07b1affa3b184c9896e1bf4a2552594e2a957
      https://github.com/TeX-Live/texdoc/commit/72e07b1affa3b184c9896e1bf4a2552594e2a957
  Author: Takuto ASAKURA <wtsnjp at gmail.com>
  Date:   2021-07-27 (Tue, 27 Jul 2021)

  Changed paths:
    M .gitignore
    M script/texdoclib-util.tlu

  Log Message:
  -----------
  small formatting


  Commit: 70bbd812098cf7abf822a9678394722228929811
      https://github.com/TeX-Live/texdoc/commit/70bbd812098cf7abf822a9678394722228929811
  Author: Takuto ASAKURA <wtsnjp at gmail.com>
  Date:   2021-07-27 (Tue, 27 Jul 2021)

  Changed paths:
    M texdoc.cnf

  Log Message:
  -----------
  show webman.pdf for query "web" (fix #71)


Compare: https://github.com/TeX-Live/texdoc/compare/82aff83d5453...70bbd812098c

From noreply at github.com  Wed Jul 28 03:06:42 2021
From: noreply at github.com (Takuto ASAKURA)
Date: Tue, 27 Jul 2021 18:06:42 -0700
Subject: [texdoc-commits] [TeX-Live/texdoc] c6fa3a: filename of "NAMEman"
 should be treated as a good ...
Message-ID: <TeX-Live/texdoc/push/refs/heads/master/70bbd8-c6fa3a@github.com>

  Branch: refs/heads/master
  Home:   https://github.com/TeX-Live/texdoc
  Commit: c6fa3af6b63e234a51561af8a386ccf0e1510585
      https://github.com/TeX-Live/texdoc/commit/c6fa3af6b63e234a51561af8a386ccf0e1510585
  Author: Takuto ASAKURA <wtsnjp at gmail.com>
  Date:   2021-07-28 (Wed, 28 Jul 2021)

  Changed paths:
    M texdoc.cnf

  Log Message:
  -----------
  filename of "NAMEman" should be treated as a good name (cf. #71)