In article <[EMAIL PROTECTED]>, Manoj Srivastava <[EMAIL PROTECTED]> writes:
>>> "Santiago" == Santiago Vila <[EMAIL PROTECTED]> writes:
Santiago> The purpose of shipping the docs in binary packages is to
Santiago> made them available to be read, not to be printed.
> And the purpose of the p
Hi,
>>"Santiago" == Santiago Vila <[EMAIL PROTECTED]> writes:
Santiago> The purpose of shipping the docs in binary packages is to
Santiago> made them available to be read, not to be printed.
And the purpose of the proposed change to Policy is that the
documentation be available in a fo
On Tue, Oct 20, 1998 at 07:07:03PM +0200, Santiago Vila wrote:
[About DVI]
> (BTW: What font issues are you talking about?)
DVI is not a self-contained format. It does not include font data, it
only refers to fonts (as in, "select cccsc10" when ten-point Concrete
Small Caps is requested). So, in
On 20 Oct 1998, Manoj Srivastava wrote:
> Santiago> It seems to me that the general rule that source belongs to
> Santiago> the source package should apply here.
>
> No. HTML is not a good format for printing. dvi files are not
> quite as portable as one would like (due to font issues)
On 20 Oct 1998, Manoj Srivastava wrote:
> Santiago> So shipping the .texi source will not be as easy as some
> Santiago> people think,
>
> And not as hard as some people think either.
He, he, we are close to repeat the bash-essential discussion here ;-)
--
"8460b24dc2ac9d46432ccd89653
Hi,
>>"Santiago" == Santiago Vila <[EMAIL PROTECTED]> writes:
Santiago> Some people propose that we ship .texi source in binary
Santiago> packages, but this means that we would have to identify
Santiago> *all* those extra files that are needed to generate the
Santiago> .html. This is a lot of
( Sorry for replying so late, the old Subject was not very appealing :-)
On 23 Sep 1998, Manoj Srivastava wrote:
> I suggest that the preferred source format of the
> documentation be also available. This means that we also ship
> texinfo, tex, and sgml versions of the documentation, as w
7 matches
Mail list logo
