Pau Espin Pedrol has posted comments on this change. ( https://gerrit.osmocom.org/11740 )
Change subject: publish from project repos, not this repo anymore ...................................................................... Patch Set 2: (1 comment) https://gerrit.osmocom.org/#/c/11740/2/contrib/jenkins.sh File contrib/jenkins.sh: https://gerrit.osmocom.org/#/c/11740/2/contrib/jenkins.sh@7 PS2, Line 7: echo "Manuals have been moved to the projects, and need to be published from there." Mentiond that "make publish" exists now? -- To view, visit https://gerrit.osmocom.org/11740 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-gsm-manuals Gerrit-Branch: master Gerrit-MessageType: comment Gerrit-Change-Id: Ibe0424ceace151115985896b6d43035c69067c50 Gerrit-Change-Number: 11740 Gerrit-PatchSet: 2 Gerrit-Owner: osmith <[email protected]> Gerrit-Reviewer: Harald Welte <[email protected]> Gerrit-Reviewer: Jenkins Builder (1000002) Gerrit-Reviewer: Pau Espin Pedrol <[email protected]> Gerrit-CC: Neels Hofmeyr <[email protected]> Gerrit-Comment-Date: Fri, 16 Nov 2018 16:53:09 +0000 Gerrit-HasComments: Yes Gerrit-HasLabels: No
