Re: [Axiom-developer] Ping: file removals

[Gabriel Dos Reis]

root <address@hidden> writes:

| > | generated documentation files:
| > | 
| > |  src/doc/bookvol1.pdf
| > 
| > this call is slighlty harder.  We don't generate PDFs at the moment
| > (but we should), and this is a copy of a book already published.  So
| > the question is how "authentic" we want the copy in SVN to be.
| > Personnaly, I would go for its complete deletion, augment the build
| > machinery to generate PDF for documentation.  (I'm planning to put in
| > the PDF generatin anyway).
| 
| the pdf differs from the sources. the pdf is an exact copy of the
| published book as printed with the ISBN. there have been patches
| applied to the sources which people have submitted so the sources
| differ marginally, thus it is not possible to recreate the pdf
| unless you go into the archive and fetch the unpatched sources.

In that case, we could 

  (1) rename the current bookvol1.pdf to original-bookvol1.pdf
      so that its name suggests its purporse
  (2) generate PDF for the patched version -- we might add that it
      is not officially publsihed yet and contains correction to
      previous edition.

What do you think?

-- Gaby