doc compilations: build-time or pre-built?

Hi.

My dillema:

1) compile docs pre-build-time; or
2)  compile docs in build-time

Pros of 1: < build-time and < Build-Depends

Pros of 2: < diff.gz and unnecessary manual intervention of downstream
maintainer (me :) )

So, what are best practices about this?

Thanks in advance,
--

-- 
Marcio Roberto Teixeira
_______________________________________________________________________
I use newsreader (nntp). Don't send messages directly to my email, please
 (even replies or follow-ups); keep all threads here and only here. 
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

keys: hkp://wwwkeys.pgp.net
         http://marciotex.googlepages.com/keypub_8709626B.asc

home page (building): http://marciotex.googlepages.com

"tchê" Debian/GNULinux user

Porto Alegre - RS - Brasil