[texdoc-commits] [TeX-Live/texdoc] e229e5: fix script/score.tlu: compare realpath instead of ...

[Takuto ASAKURA]

  Branch: refs/heads/work
  Home:   https://github.com/TeX-Live/texdoc
  Commit: e229e5e809d7fefc9c7a47d6ad3dce14b55bfb74
      https://github.com/TeX-Live/texdoc/commit/e229e5e809d7fefc9c7a47d6ad3dce14b55bfb74
  Author: E Kawashima <e-kwsm at users.noreply.github.com>
  Date:   2018-08-03 (Fri, 03 Aug 2018)

  Changed paths:
    M script/score.tlu

  Log Message:
  -----------
  fix script/score.tlu: compare realpath instead of basename


  Commit: b3b287297197004facf81f4cfcbd1673c15496e6
      https://github.com/TeX-Live/texdoc/commit/b3b287297197004facf81f4cfcbd1673c15496e6
  Author: Takuto ASAKURA <wtsnjp at gmail.com>
  Date:   2018-08-03 (Fri, 03 Aug 2018)

  Changed paths:
    M script/score.tlu

  Log Message:
  -----------
  Merge pull request #26 from e-kwsm/fix-sort_doclist

fix script/score.tlu: compare realpath instead of basename


  Commit: 4900132df91d69859aefa5888423337343ba3681
      https://github.com/TeX-Live/texdoc/commit/4900132df91d69859aefa5888423337343ba3681
  Author: E Kawashima <e-kwsm at users.noreply.github.com>
  Date:   2018-08-12 (Sun, 12 Aug 2018)

  Changed paths:
    M doc/texdoc.tex
    M script/config.tlu
    M script/functions.tlu
    M script/score.tlu
    M script/search.tlu
    M script/texdoclib.tlu

  Log Message:
  -----------
  fix typo [ci skip]


  Commit: a11af3c3c2453bde46e07a330df40c44f4ebf286
      https://github.com/TeX-Live/texdoc/commit/a11af3c3c2453bde46e07a330df40c44f4ebf286
  Author: Takuto ASAKURA <wtsnjp at gmail.com>
  Date:   2018-08-12 (Sun, 12 Aug 2018)

  Changed paths:
    M doc/texdoc.tex
    M script/config.tlu
    M script/functions.tlu
    M script/score.tlu
    M script/search.tlu
    M script/texdoclib.tlu

  Log Message:
  -----------
  Merge pull request #28 from e-kwsm/fix-typo

fix typo [ci skip]


Compare: https://github.com/TeX-Live/texdoc/compare/4ed9315e0df5...a11af3c3c245
      **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.