Petrb has uploaded a new change for review. https://gerrit.wikimedia.org/r/57743
Change subject: ok, and these manual pages of course should be in usr as well ...................................................................... ok, and these manual pages of course should be in usr as well Change-Id: Iedae79846cca35f1da339c2a186d275d709515bd --- R packages/jobutils/usr/share/man/man1/jstart.1 R packages/jobutils/usr/share/man/man1/jstop.1 R packages/jobutils/usr/share/man/man1/jsub.1 3 files changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/labs/toollabs refs/changes/43/57743/1 diff --git a/packages/jobutils/share/man/man1/jstart.1 b/packages/jobutils/usr/share/man/man1/jstart.1 similarity index 100% rename from packages/jobutils/share/man/man1/jstart.1 rename to packages/jobutils/usr/share/man/man1/jstart.1 diff --git a/packages/jobutils/share/man/man1/jstop.1 b/packages/jobutils/usr/share/man/man1/jstop.1 similarity index 100% rename from packages/jobutils/share/man/man1/jstop.1 rename to packages/jobutils/usr/share/man/man1/jstop.1 diff --git a/packages/jobutils/share/man/man1/jsub.1 b/packages/jobutils/usr/share/man/man1/jsub.1 similarity index 100% rename from packages/jobutils/share/man/man1/jsub.1 rename to packages/jobutils/usr/share/man/man1/jsub.1 -- To view, visit https://gerrit.wikimedia.org/r/57743 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Iedae79846cca35f1da339c2a186d275d709515bd Gerrit-PatchSet: 1 Gerrit-Project: labs/toollabs Gerrit-Branch: master Gerrit-Owner: Petrb <benap...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits