[petsc-dev] Users manual update

[Satish Balay]

The updates referred in this thread are in master branch [and not maint]

Satish

On Fri, 21 Aug 2020, huabel via petsc-dev wrote:

> 
> ➜  petsc git:(maint) make sphinx-docs-html
> /usr/local/opt/python at 3.8/bin/python3.8 ./config/gmakegen.py --petsc-arch=arch-darwin-c-debug
> /usr/local/opt/python at 3.8/bin/python3.8 /Volumes/data3/fun2/demox/petsc/config/gmakegentest.py --petsc-dir=/Volumes/data3/fun2/demox/petsc --petsc-arch=arch-darwin-c-debug --testdir=./arch-darwin-c-debug/tests
> gmake[1]: *** No rule to make target 'sphinx-docs-html'.  Stop.
> gmake: *** [GNUmakefile:17: sphinx-docs-html] Error 2
> 
> 
> 
> > On Aug 21, 2020, at 11:06 PM, Jed Brown <jed at jedbrown.org> wrote:
> > 
> > huabel via petsc-dev <petsc-dev at mcs.anl.gov> writes:
> > 
> >> Thanks, I copied the ‘developer’ fold out and comment (#extensions.append('sphinxcontrib.bibtex’) this line, with few copy it works well, (no cite link), for me it enough. 
> > 
> > We recommend using `make sphinx-docs-html` from the top-level.  It will create/activate a virtualenv based on requirements.txt so everything will work.  It's fast for incremental updates.
> 
>