This is the mail archive of the gdb-patches@sources.redhat.com mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [rfa/doco] Srink the overlay diagram



"Eli Zaretskii" <eliz@is.elta.co.il> writes:
> Leave the text outside the @example, and instead put "@need NUMBER"
> before the @example which starts the diagram, where NUMBER is enough
> to allow for both the diagram and the text after it.  I'd use 10000
> for NUMBER, but if you can easily print that page after TeXing it,
> simply measure how many inches of vertical space does the diagram and
> the text take, and multiply that by 1000.

As to the original "what's that doing there?" question: It's a
caption.  Diagrams often have explanatory text, outside of the main
flow of text.

As to the formatting: anything that keeps that text immediately after
the diagram is fine.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]