[petsc-dev] generating html pages

[Barry Smith]

   In the directory in question run make manualpages  with LOC set appropriately.

   Barry

On Aug 9, 2013, at 10:17 AM, Stefano Zampini <s.zampini at cineca.it> wrote:

> 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
> ------------------------------------------------------------------------------------------------------------------------
> 
>