[petsc-dev] generating html pages

[Stefano Zampini]

I'm currently creating manual pages for PCBDDC.

To obtain the html, I currently run make alldoc, which takes 40 minutes on
my laptop, rebuilding everything from scratch.
Is there a faster way to produce manual pages for a single directory?

-- 

Ph. D. Stefano Zampini
CINECA
SuperComputing Applications and Innovations Department - SCAI
Via dei Tizii, 6 00185 Roma - ITALY
------------------------------------------------------------------------------------------------------------------------
Email: s.zampini at cineca.it
SkypeID: stefano.zampini
GoogleTalk: stefano.zampini at gmail.com
Tel: +39 06.44486.707
------------------------------------------------------------------------------------------------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20130809/4a53eb2d/attachment.html>