[Omake] removing doc/ps/omake-doc.{ps,pdf} from repository

[Aleksey Nogin]

On 16.06.2006 02:09, Erick Tryzelaar wrote:

> Hello,
> 
> Every time you guys modify the documentation, my omake-doc.ps and 
> omake-doc.pdf gets out of sync, and svn reports a conflict. Since these 
> are the end result of the doc target, think they could be removed from 
> the repository so subversion will stop complaining about them?

I agree that this situation is very annoying. One of the issues here is 
that not everybody will be able to build them (since not every machine 
will have LaTeX and the hevea.sty installed), but we'd want everybody to 
have access to these files. So our options are:

1) Remove them from the repository, but re-add them when the source 
tarballs are rolled out for the release. This is a bit painful.

2) Keep them in, but change the setup so that the doc target is remade 
only when the user explicitly asks for it. This does not fully fix the 
problem, but reduces the number of people who are exposed to it.

3) Try making the build deterministic so that the binary files stay the 
same, when rebuilt. Unfortunately, dvipdfm uses a random number 
generator when naming the partially embedded fonts. So, unless we are 
willing to fully embed all the fonts (this blows up the .pdf by a 
significant factor), this can not be done without changing how dvipdfm 
works.

Right now I am leaning towards option (2).

-- 
Aleksey Nogin

Home Page: http://nogin.org/
E-Mail: nogin at cs.caltech.edu (office), aleksey at nogin.org (personal)
Office: Moore 04, tel: (626) 395-2200