>The question is merely whether wrapv should be the default
>with optimization levels -O0 through -O2.
Perhaps the question of where wrapv gets enabled, together with the
"middle ground" approach mentioned by Robert Dewar, could be put to the
GCC Steering Committee. (As was already propos
Now I now (and understand) that you changed the mangling of filenames,
but where does the "g_t" come from, and why?
Catering to XHTML's stupidity. I mentioned it in:
http://www.gnu.org/software/texinfo/manual/texinfo/texinfo.html#HTML-Xref-Link-Basics
viz.
One exception: the algorith
Hi Gerald,
You should substitute `i686
' in the above command with the appropriate processor
for your host.
Thanks for the report, I'll work on fixing that.
karl
> You should substitute `i686
> ' in the above command with the appropriate processor
> for your host.
> Thanks for the report, I'll work on fixing that.
have you had a chance to look into this?
Not yet, but it's again at the top of my Texinfo list due to
>> I noticed that in the default Firefox3 configuration on my 1280x1024
display
>> your code samples on this page are tiny, and v.hard to read:
>>
>> http://gcc.gnu.org/onlinedocs/gcc/Inline.html
I'd like to hear from other people about whether the examples are too
small in their
Does @smallexample come out as 8pt or so? It definitely looks
smaller than 10pt on my screen.
It comes out as whatever your browser tells it to, hopefully depending
on what font size you have set. This is why different users see
different things. The effect should be similar to using
...
In the printed manual, is text
smaller or the same size as text?
The result of @smallexample is smaller than the result of @example in
printed manuals.
Definitely each user can change the default browser settings, but I
would hope pages would be readable without browser modifica
You are expecting that the CSS large/small/x-small/etc match those of
TeX.
No, that is not the expectation. (It would be impossible, anyway. All
these things are dynamically changeable in TeX.)
The expectation is that firefox not reduce the size used when
font-size:smaller is specified
