Revert to single-line command for doctr invocation.#3579

Merged

pp-mo merged 1 commit intoSciTools:pushdocs_trialfrom

pp-mo:pushdocs_fix2

Dec 4, 2019

Commits on Dec 4, 2019

Revert to single-line command for doctr invocation.
pp-mo
committed