[texdoc-commits] [SCM] texdoc updated: r11 - trunk/tools

[karl at gnu.org.ua]

Author: karl
Date: 2017-05-17 21:05:48 +0300 (Wed, 17 May 2017)
New Revision: 11

Added:
   trunk/tools/texdocsh
Removed:
   trunk/tools/sh
Log:
rename "sh" utility to non-conflicting "texdocsh"