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