Jon,
I was told to put changes to docs that apply to the current version in
the current branch and then when that branch is merged with master it
shows up there. So when working on docs for 2.4.x you have to do a git
checkout of that branch first then make your changes. And changes that
apply
About a month ago, I made some substantial updates to the ppmc driver
section of the Integrator's Manual
(file: docs/src/drivers/pico_ppmc.lyx) but these changes have not showed
up yet in the main version of the manual
linked from the Wiki page. Is there something I need to do to push
these cha
