[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Ping: file removals

From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] Ping: file removals
Date: 05 Nov 2006 17:42:43 +0100

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]