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

   Barry

On Aug 9, 2013, at 10:17 AM, Stefano Zampini <[email protected]> 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: 
> [email protected]
> 
> SkypeID: stefano.zampini
> GoogleTalk: 
> [email protected]
> 
> Tel: 
> +39 06.44486.707
> ------------------------------------------------------------------------------------------------------------------------
> 
> 

Reply via email to