Harald Welte has posted comments on this change. ( https://gerrit.osmocom.org/11726 )
Change subject: move project specific manuals to their own repos ...................................................................... Patch Set 1: I agree that 'man' is a bad naming choice. Call it manual, put it straight into the 'doc' directory, whatever. But don't call anything but man-pages related bits 'man', it will just confuse people. -- To view, visit https://gerrit.osmocom.org/11726 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-msc Gerrit-Branch: master Gerrit-MessageType: comment Gerrit-Change-Id: I2f9c27f81940b02414f0e618483bffade72e8cf7 Gerrit-Change-Number: 11726 Gerrit-PatchSet: 1 Gerrit-Owner: osmith <osm...@sysmocom.de> Gerrit-Reviewer: Jenkins Builder (1000002) Gerrit-Reviewer: Neels Hofmeyr <nhofm...@sysmocom.de> Gerrit-Reviewer: Pau Espin Pedrol <pes...@sysmocom.de> Gerrit-Reviewer: osmith <osm...@sysmocom.de> Gerrit-CC: Harald Welte <lafo...@gnumonks.org> Gerrit-Comment-Date: Tue, 13 Nov 2018 14:57:41 +0000 Gerrit-HasComments: No Gerrit-HasLabels: No