1 |
578 |
markom |
.\" Copyright (c) 1993 Free Software Foundation
|
2 |
|
|
.\" See section COPYING for conditions for redistribution
|
3 |
|
|
.TH run 1 "13oct1993" "GNU Tools" "GNU Tools"
|
4 |
|
|
.de BP
|
5 |
|
|
.sp
|
6 |
|
|
.ti -.2i
|
7 |
|
|
\(**
|
8 |
|
|
..
|
9 |
|
|
|
10 |
|
|
.SH NAME
|
11 |
|
|
run\(em\&Simulator front-end
|
12 |
|
|
|
13 |
|
|
.SH SYNOPSIS
|
14 |
|
|
.hy 0
|
15 |
|
|
.na
|
16 |
|
|
.TP
|
17 |
|
|
.B run
|
18 |
|
|
.RB "[\|" \-v "\|]"
|
19 |
|
|
." .RB "[\|" \-t "\|]"
|
20 |
|
|
.RB "[\|" \-p
|
21 |
|
|
.IR freq "\|]"
|
22 |
|
|
.RB "[\|" \-m
|
23 |
|
|
.IR memory "\|]"
|
24 |
|
|
.I program
|
25 |
|
|
.ad b
|
26 |
|
|
.hy 1
|
27 |
|
|
.SH DESCRIPTION
|
28 |
|
|
|
29 |
|
|
Use `\|\c
|
30 |
|
|
.BI run " program"\c
|
31 |
|
|
\&\|' to execute a binary by interpreting machine instructions on your
|
32 |
|
|
host computer.
|
33 |
|
|
|
34 |
|
|
.B run
|
35 |
|
|
is the same emulator used by GDB's `\|\c
|
36 |
|
|
.B target sim\c
|
37 |
|
|
\&\|' command. You can run it directly by executing
|
38 |
|
|
.B run
|
39 |
|
|
if you just want to see your program execute, and do not need any
|
40 |
|
|
debugger functionality. You can also use
|
41 |
|
|
.B run
|
42 |
|
|
to generate profiling information for analysis with
|
43 |
|
|
.BR gprof .
|
44 |
|
|
|
45 |
|
|
.SH OPTIONS
|
46 |
|
|
|
47 |
|
|
.TP
|
48 |
|
|
.B \-v
|
49 |
|
|
Verbose output. Display the name of the program to run before
|
50 |
|
|
execution; after execution, display the number of instructions
|
51 |
|
|
executed, the number of machine cycles emulated, the number of
|
52 |
|
|
pipeline stalls, the real time taken, the emulated execution time
|
53 |
|
|
taken, and a summary of how much profiling information was generated.
|
54 |
|
|
."
|
55 |
|
|
." .TP
|
56 |
|
|
." .B \-t
|
57 |
|
|
." `trace', calls a sim_trace routine that does nothing.
|
58 |
|
|
|
59 |
|
|
.TP
|
60 |
|
|
.BI \-p " freq"
|
61 |
|
|
Generate profile information (for use with
|
62 |
|
|
.B gprof\c
|
63 |
|
|
\&).
|
64 |
|
|
.I freq
|
65 |
|
|
is the profiling frequency. Write the profiling information to a file called
|
66 |
|
|
.BR gmon.out .
|
67 |
|
|
|
68 |
|
|
.TP
|
69 |
|
|
.BI \-m " memory"
|
70 |
|
|
Set the memory size for the emulated machine to two to the power
|
71 |
|
|
.IR memory .
|
72 |
|
|
The default value is 19, emulating a board with 524288 bytes of memory.
|
73 |
|
|
|
74 |
|
|
.PP
|
75 |
|
|
|
76 |
|
|
.SH "SEE ALSO"
|
77 |
|
|
.RB "`\|" gprof "\|'"
|
78 |
|
|
entry in
|
79 |
|
|
.B info\c
|
80 |
|
|
\&;
|
81 |
|
|
.RB "`\|" gdb "\|'"
|
82 |
|
|
entry in
|
83 |
|
|
.B info\c
|
84 |
|
|
\&;
|
85 |
|
|
.I
|
86 |
|
|
Using GDB: A Guide to the GNU Source-Level Debugger\c
|
87 |
|
|
, Richard M. Stallman and Roland H. Pesch.
|
88 |
|
|
|
89 |
|
|
.SH COPYING
|
90 |
|
|
Copyright (c) 1993, 2000 Free Software Foundation, Inc.
|
91 |
|
|
.PP
|
92 |
|
|
This document is distributed under the terms of the GNU Free
|
93 |
|
|
Documentation License, version 1.1. That license is described in the
|
94 |
|
|
sources for this manual page, but it is not displayed here in order to
|
95 |
|
|
make this manual more consise. Copies of this license can also be
|
96 |
|
|
obtained from: http://www.gnu.org/copyleft/.
|
97 |
|
|
|
98 |
|
|
\" GNU Free Documentation License
|
99 |
|
|
\" Version 1.1, March 2000
|
100 |
|
|
|
101 |
|
|
\" Copyright (C) 2000 Free Software Foundation, Inc.
|
102 |
|
|
\" 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
103 |
|
|
|
104 |
|
|
\" Everyone is permitted to copy and distribute verbatim
|
105 |
|
|
\" copies of this license document, but changing it is
|
106 |
|
|
\" not allowed.
|
107 |
|
|
\" .PP
|
108 |
|
|
\" 0. PREAMBLE
|
109 |
|
|
\" .PP
|
110 |
|
|
\" The purpose of this License is to make a manual, textbook, or other
|
111 |
|
|
\" written document "free" in the sense of freedom: to assure everyone
|
112 |
|
|
\" the effective freedom to copy and redistribute it, with or without
|
113 |
|
|
\" modifying it, either commercially or noncommercially. Secondarily,
|
114 |
|
|
\" this License preserves for the author and publisher a way to get
|
115 |
|
|
\" credit for their work, while not being considered responsible for
|
116 |
|
|
\" modifications made by others.
|
117 |
|
|
\" .PP
|
118 |
|
|
\" This License is a kind of "copyleft", which means that derivative
|
119 |
|
|
\" works of the document must themselves be free in the same sense. It
|
120 |
|
|
\" complements the GNU General Public License, which is a copyleft
|
121 |
|
|
\" license designed for free software.
|
122 |
|
|
\" .PP
|
123 |
|
|
\" We have designed this License in order to use it for manuals for free
|
124 |
|
|
\" software, because free software needs free documentation: a free
|
125 |
|
|
\" program should come with manuals providing the same freedoms that the
|
126 |
|
|
\" software does. But this License is not limited to software manuals;
|
127 |
|
|
\" it can be used for any textual work, regardless of subject matter or
|
128 |
|
|
\" whether it is published as a printed book. We recommend this License
|
129 |
|
|
\" principally for works whose purpose is instruction or reference.
|
130 |
|
|
\" .PP
|
131 |
|
|
\" 1. APPLICABILITY AND DEFINITIONS
|
132 |
|
|
\" .PP
|
133 |
|
|
\" This License applies to any manual or other work that contains a
|
134 |
|
|
\" notice placed by the copyright holder saying it can be distributed
|
135 |
|
|
\" under the terms of this License. The "Document", below, refers to any
|
136 |
|
|
\" such manual or work. Any member of the public is a licensee, and is
|
137 |
|
|
\" addressed as "you".
|
138 |
|
|
\" .PP
|
139 |
|
|
\" A "Modified Version" of the Document means any work containing the
|
140 |
|
|
\" Document or a portion of it, either copied verbatim, or with
|
141 |
|
|
\" modifications and/or translated into another language.
|
142 |
|
|
\" .PP
|
143 |
|
|
\" A "Secondary Section" is a named appendix or a front-matter section of
|
144 |
|
|
\" the Document that deals exclusively with the relationship of the
|
145 |
|
|
\" publishers or authors of the Document to the Document's overall subject
|
146 |
|
|
\" (or to related matters) and contains nothing that could fall directly
|
147 |
|
|
\" within that overall subject. (For example, if the Document is in part a
|
148 |
|
|
\" textbook of mathematics, a Secondary Section may not explain any
|
149 |
|
|
\" mathematics.) The relationship could be a matter of historical
|
150 |
|
|
\" connection with the subject or with related matters, or of legal,
|
151 |
|
|
\" commercial, philosophical, ethical or political position regarding
|
152 |
|
|
\" them.
|
153 |
|
|
\" .PP
|
154 |
|
|
\" The "Invariant Sections" are certain Secondary Sections whose titles
|
155 |
|
|
\" are designated, as being those of Invariant Sections, in the notice
|
156 |
|
|
\" that says that the Document is released under this License.
|
157 |
|
|
\" .PP
|
158 |
|
|
\" The "Cover Texts" are certain short passages of text that are listed,
|
159 |
|
|
\" as Front-Cover Texts or Back-Cover Texts, in the notice that says that
|
160 |
|
|
\" the Document is released under this License.
|
161 |
|
|
\" .PP
|
162 |
|
|
\" A "Transparent" copy of the Document means a machine-readable copy,
|
163 |
|
|
\" represented in a format whose specification is available to the
|
164 |
|
|
\" general public, whose contents can be viewed and edited directly and
|
165 |
|
|
\" straightforwardly with generic text editors or (for images composed of
|
166 |
|
|
\" pixels) generic paint programs or (for drawings) some widely available
|
167 |
|
|
\" drawing editor, and that is suitable for input to text formatters or
|
168 |
|
|
\" for automatic translation to a variety of formats suitable for input
|
169 |
|
|
\" to text formatters. A copy made in an otherwise Transparent file
|
170 |
|
|
\" format whose markup has been designed to thwart or discourage
|
171 |
|
|
\" subsequent modification by readers is not Transparent. A copy that is
|
172 |
|
|
\" not "Transparent" is called "Opaque".
|
173 |
|
|
\" .PP
|
174 |
|
|
\" Examples of suitable formats for Transparent copies include plain
|
175 |
|
|
\" ASCII without markup, Texinfo input format, LaTeX input format, SGML
|
176 |
|
|
\" or XML using a publicly available DTD, and standard-conforming simple
|
177 |
|
|
\" HTML designed for human modification. Opaque formats include
|
178 |
|
|
\" PostScript, PDF, proprietary formats that can be read and edited only
|
179 |
|
|
\" by proprietary word processors, SGML or XML for which the DTD and/or
|
180 |
|
|
\" processing tools are not generally available, and the
|
181 |
|
|
\" machine-generated HTML produced by some word processors for output
|
182 |
|
|
\" purposes only.
|
183 |
|
|
\" .PP
|
184 |
|
|
\" The "Title Page" means, for a printed book, the title page itself,
|
185 |
|
|
\" plus such following pages as are needed to hold, legibly, the material
|
186 |
|
|
\" this License requires to appear in the title page. For works in
|
187 |
|
|
\" formats which do not have any title page as such, "Title Page" means
|
188 |
|
|
\" the text near the most prominent appearance of the work's title,
|
189 |
|
|
\" preceding the beginning of the body of the text.
|
190 |
|
|
\" .PP
|
191 |
|
|
\" 2. VERBATIM COPYING
|
192 |
|
|
\" .PP
|
193 |
|
|
\" You may copy and distribute the Document in any medium, either
|
194 |
|
|
\" commercially or noncommercially, provided that this License, the
|
195 |
|
|
\" copyright notices, and the license notice saying this License applies
|
196 |
|
|
\" to the Document are reproduced in all copies, and that you add no other
|
197 |
|
|
\" conditions whatsoever to those of this License. You may not use
|
198 |
|
|
\" technical measures to obstruct or control the reading or further
|
199 |
|
|
\" copying of the copies you make or distribute. However, you may accept
|
200 |
|
|
\" compensation in exchange for copies. If you distribute a large enough
|
201 |
|
|
\" number of copies you must also follow the conditions in section 3.
|
202 |
|
|
\" .PP
|
203 |
|
|
\" You may also lend copies, under the same conditions stated above, and
|
204 |
|
|
\" you may publicly display copies.
|
205 |
|
|
\" .PP
|
206 |
|
|
\" 3. COPYING IN QUANTITY
|
207 |
|
|
\" .PP
|
208 |
|
|
\" If you publish printed copies of the Document numbering more than 100,
|
209 |
|
|
\" and the Document's license notice requires Cover Texts, you must enclose
|
210 |
|
|
\" the copies in covers that carry, clearly and legibly, all these Cover
|
211 |
|
|
\" Texts: Front-Cover Texts on the front cover, and Back-Cover Texts on
|
212 |
|
|
\" the back cover. Both covers must also clearly and legibly identify
|
213 |
|
|
\" you as the publisher of these copies. The front cover must present
|
214 |
|
|
\" the full title with all words of the title equally prominent and
|
215 |
|
|
\" visible. You may add other material on the covers in addition.
|
216 |
|
|
\" Copying with changes limited to the covers, as long as they preserve
|
217 |
|
|
\" the title of the Document and satisfy these conditions, can be treated
|
218 |
|
|
\" as verbatim copying in other respects.
|
219 |
|
|
\" .PP
|
220 |
|
|
\" If the required texts for either cover are too voluminous to fit
|
221 |
|
|
\" legibly, you should put the first ones listed (as many as fit
|
222 |
|
|
\" reasonably) on the actual cover, and continue the rest onto adjacent
|
223 |
|
|
\" pages.
|
224 |
|
|
\" .PP
|
225 |
|
|
\" If you publish or distribute Opaque copies of the Document numbering
|
226 |
|
|
\" more than 100, you must either include a machine-readable Transparent
|
227 |
|
|
\" copy along with each Opaque copy, or state in or with each Opaque copy
|
228 |
|
|
\" a publicly-accessible computer-network location containing a complete
|
229 |
|
|
\" Transparent copy of the Document, free of added material, which the
|
230 |
|
|
\" general network-using public has access to download anonymously at no
|
231 |
|
|
\" charge using public-standard network protocols. If you use the latter
|
232 |
|
|
\" option, you must take reasonably prudent steps, when you begin
|
233 |
|
|
\" distribution of Opaque copies in quantity, to ensure that this
|
234 |
|
|
\" Transparent copy will remain thus accessible at the stated location
|
235 |
|
|
\" until at least one year after the last time you distribute an Opaque
|
236 |
|
|
\" copy (directly or through your agents or retailers) of that edition to
|
237 |
|
|
\" the public.
|
238 |
|
|
\" .PP
|
239 |
|
|
\" It is requested, but not required, that you contact the authors of the
|
240 |
|
|
\" Document well before redistributing any large number of copies, to give
|
241 |
|
|
\" them a chance to provide you with an updated version of the Document.
|
242 |
|
|
\" .PP
|
243 |
|
|
\" 4. MODIFICATIONS
|
244 |
|
|
\" .PP
|
245 |
|
|
\" You may copy and distribute a Modified Version of the Document under
|
246 |
|
|
\" the conditions of sections 2 and 3 above, provided that you release
|
247 |
|
|
\" the Modified Version under precisely this License, with the Modified
|
248 |
|
|
\" Version filling the role of the Document, thus licensing distribution
|
249 |
|
|
\" and modification of the Modified Version to whoever possesses a copy
|
250 |
|
|
\" of it. In addition, you must do these things in the Modified Version:
|
251 |
|
|
\" .PP
|
252 |
|
|
\" A. Use in the Title Page (and on the covers, if any) a title distinct
|
253 |
|
|
\" from that of the Document, and from those of previous versions
|
254 |
|
|
\" (which should, if there were any, be listed in the History section
|
255 |
|
|
\" of the Document). You may use the same title as a previous version
|
256 |
|
|
\" if the original publisher of that version gives permission.
|
257 |
|
|
\" .PP
|
258 |
|
|
\" B. List on the Title Page, as authors, one or more persons or entities
|
259 |
|
|
\" responsible for authorship of the modifications in the Modified
|
260 |
|
|
\" Version, together with at least five of the principal authors of the
|
261 |
|
|
\" Document (all of its principal authors, if it has less than five).
|
262 |
|
|
\" .PP
|
263 |
|
|
\" C. State on the Title page the name of the publisher of the
|
264 |
|
|
\" Modified Version, as the publisher.
|
265 |
|
|
\" .PP
|
266 |
|
|
\" D. Preserve all the copyright notices of the Document.
|
267 |
|
|
\" .PP
|
268 |
|
|
\" E. Add an appropriate copyright notice for your modifications
|
269 |
|
|
\" adjacent to the other copyright notices.
|
270 |
|
|
\" .PP
|
271 |
|
|
\" F. Include, immediately after the copyright notices, a license notice
|
272 |
|
|
\" giving the public permission to use the Modified Version under the
|
273 |
|
|
\" terms of this License, in the form shown in the Addendum below.
|
274 |
|
|
\" Preserve in that license notice the full lists of Invariant Sections
|
275 |
|
|
\" and required Cover Texts given in the Document's license notice.
|
276 |
|
|
\" .PP
|
277 |
|
|
\" H. Include an unaltered copy of this License.
|
278 |
|
|
\" .PP
|
279 |
|
|
\" I. Preserve the section entitled "History", and its title, and add to
|
280 |
|
|
\" it an item stating at least the title, year, new authors, and
|
281 |
|
|
\" publisher of the Modified Version as given on the Title Page. If
|
282 |
|
|
\" there is no section entitled "History" in the Document, create one
|
283 |
|
|
\" stating the title, year, authors, and publisher of the Document as
|
284 |
|
|
\" given on its Title Page, then add an item describing the Modified
|
285 |
|
|
\" Version as stated in the previous sentence.
|
286 |
|
|
\" .PP
|
287 |
|
|
\" J. Preserve the network location, if any, given in the Document for
|
288 |
|
|
\" public access to a Transparent copy of the Document, and likewise
|
289 |
|
|
\" the network locations given in the Document for previous versions
|
290 |
|
|
\" it was based on. These may be placed in the "History" section.
|
291 |
|
|
\" You may omit a network location for a work that was published at
|
292 |
|
|
\" least four years before the Document itself, or if the original
|
293 |
|
|
\" publisher of the version it refers to gives permission.
|
294 |
|
|
\" .PP
|
295 |
|
|
\" K. In any section entitled "Acknowledgements" or "Dedications",
|
296 |
|
|
\" preserve the section's title, and preserve in the section all the
|
297 |
|
|
\" substance and tone of each of the contributor acknowledgements
|
298 |
|
|
\" and/or dedications given therein.
|
299 |
|
|
\" .PP
|
300 |
|
|
\" L. Preserve all the Invariant Sections of the Document,
|
301 |
|
|
\" unaltered in their text and in their titles. Section numbers
|
302 |
|
|
\" or the equivalent are not considered part of the section titles.
|
303 |
|
|
\" .PP
|
304 |
|
|
\" M. Delete any section entitled "Endorsements". Such a section
|
305 |
|
|
\" may not be included in the Modified Version.
|
306 |
|
|
\" .PP
|
307 |
|
|
\" N. Do not retitle any existing section as "Endorsements"
|
308 |
|
|
\" or to conflict in title with any Invariant Section.
|
309 |
|
|
\" .PP
|
310 |
|
|
\" If the Modified Version includes new front-matter sections or
|
311 |
|
|
\" appendices that qualify as Secondary Sections and contain no material
|
312 |
|
|
\" copied from the Document, you may at your option designate some or all
|
313 |
|
|
\" of these sections as invariant. To do this, add their titles to the
|
314 |
|
|
\" list of Invariant Sections in the Modified Version's license notice.
|
315 |
|
|
\" These titles must be distinct from any other section titles.
|
316 |
|
|
\" .PP
|
317 |
|
|
\" You may add a section entitled "Endorsements", provided it contains
|
318 |
|
|
\" nothing but endorsements of your Modified Version by various
|
319 |
|
|
\" parties--for example, statements of peer review or that the text has
|
320 |
|
|
\" been approved by an organization as the authoritative definition of a
|
321 |
|
|
\" standard.
|
322 |
|
|
\" .PP
|
323 |
|
|
\" You may add a passage of up to five words as a Front-Cover Text, and a
|
324 |
|
|
\" passage of up to 25 words as a Back-Cover Text, to the end of the list
|
325 |
|
|
\" of Cover Texts in the Modified Version. Only one passage of
|
326 |
|
|
\" Front-Cover Text and one of Back-Cover Text may be added by (or
|
327 |
|
|
\" through arrangements made by) any one entity. If the Document already
|
328 |
|
|
\" includes a cover text for the same cover, previously added by you or
|
329 |
|
|
\" by arrangement made by the same entity you are acting on behalf of,
|
330 |
|
|
\" you may not add another; but you may replace the old one, on explicit
|
331 |
|
|
\" permission from the previous publisher that added the old one.
|
332 |
|
|
\" .PP
|
333 |
|
|
\" The author(s) and publisher(s) of the Document do not by this License
|
334 |
|
|
\" give permission to use their names for publicity for or to assert or
|
335 |
|
|
\" imply endorsement of any Modified Version.
|
336 |
|
|
\" .PP
|
337 |
|
|
|
338 |
|
|
\" 5. COMBINING DOCUMENTS
|
339 |
|
|
\" .PP
|
340 |
|
|
\" You may combine the Document with other documents released under this
|
341 |
|
|
\" License, under the terms defined in section 4 above for modified
|
342 |
|
|
\" versions, provided that you include in the combination all of the
|
343 |
|
|
\" Invariant Sections of all of the original documents, unmodified, and
|
344 |
|
|
\" list them all as Invariant Sections of your combined work in its
|
345 |
|
|
\" license notice.
|
346 |
|
|
\" .PP
|
347 |
|
|
\" The combined work need only contain one copy of this License, and
|
348 |
|
|
\" multiple identical Invariant Sections may be replaced with a single
|
349 |
|
|
\" copy. If there are multiple Invariant Sections with the same name but
|
350 |
|
|
\" different contents, make the title of each such section unique by
|
351 |
|
|
\" adding at the end of it, in parentheses, the name of the original
|
352 |
|
|
\" author or publisher of that section if known, or else a unique number.
|
353 |
|
|
\" Make the same adjustment to the section titles in the list of
|
354 |
|
|
\" Invariant Sections in the license notice of the combined work.
|
355 |
|
|
\" .PP
|
356 |
|
|
\" In the combination, you must combine any sections entitled "History"
|
357 |
|
|
\" in the various original documents, forming one section entitled
|
358 |
|
|
\" "History"; likewise combine any sections entitled "Acknowledgements",
|
359 |
|
|
\" and any sections entitled "Dedications". You must delete all sections
|
360 |
|
|
\" entitled "Endorsements."
|
361 |
|
|
\" .PP
|
362 |
|
|
|
363 |
|
|
\" 6. COLLECTIONS OF DOCUMENTS
|
364 |
|
|
\" .PP
|
365 |
|
|
\" You may make a collection consisting of the Document and other documents
|
366 |
|
|
\" released under this License, and replace the individual copies of this
|
367 |
|
|
\" License in the various documents with a single copy that is included in
|
368 |
|
|
\" the collection, provided that you follow the rules of this License for
|
369 |
|
|
\" verbatim copying of each of the documents in all other respects.
|
370 |
|
|
\" .PP
|
371 |
|
|
\" You may extract a single document from such a collection, and distribute
|
372 |
|
|
\" it individually under this License, provided you insert a copy of this
|
373 |
|
|
\" License into the extracted document, and follow this License in all
|
374 |
|
|
\" other respects regarding verbatim copying of that document.
|
375 |
|
|
\" .PP
|
376 |
|
|
|
377 |
|
|
\" 7. AGGREGATION WITH INDEPENDENT WORKS
|
378 |
|
|
\" .PP
|
379 |
|
|
\" A compilation of the Document or its derivatives with other separate
|
380 |
|
|
\" and independent documents or works, in or on a volume of a storage or
|
381 |
|
|
\" distribution medium, does not as a whole count as a Modified Version
|
382 |
|
|
\" of the Document, provided no compilation copyright is claimed for the
|
383 |
|
|
\" compilation. Such a compilation is called an "aggregate", and this
|
384 |
|
|
\" License does not apply to the other self-contained works thus compiled
|
385 |
|
|
\" with the Document, on account of their being thus compiled, if they
|
386 |
|
|
\" are not themselves derivative works of the Document.
|
387 |
|
|
\" .PP
|
388 |
|
|
\" If the Cover Text requirement of section 3 is applicable to these
|
389 |
|
|
\" copies of the Document, then if the Document is less than one quarter
|
390 |
|
|
\" of the entire aggregate, the Document's Cover Texts may be placed on
|
391 |
|
|
\" covers that surround only the Document within the aggregate.
|
392 |
|
|
\" Otherwise they must appear on covers around the whole aggregate.
|
393 |
|
|
\" .PP
|
394 |
|
|
|
395 |
|
|
\" 8. TRANSLATION
|
396 |
|
|
\" .PP
|
397 |
|
|
\" Translation is considered a kind of modification, so you may
|
398 |
|
|
\" distribute translations of the Document under the terms of section 4.
|
399 |
|
|
\" Replacing Invariant Sections with translations requires special
|
400 |
|
|
\" permission from their copyright holders, but you may include
|
401 |
|
|
\" translations of some or all Invariant Sections in addition to the
|
402 |
|
|
\" original versions of these Invariant Sections. You may include a
|
403 |
|
|
\" translation of this License provided that you also include the
|
404 |
|
|
\" original English version of this License. In case of a disagreement
|
405 |
|
|
\" between the translation and the original English version of this
|
406 |
|
|
\" License, the original English version will prevail.
|
407 |
|
|
\" .PP
|
408 |
|
|
|
409 |
|
|
\" 9. TERMINATION
|
410 |
|
|
\" .PP
|
411 |
|
|
\" You may not copy, modify, sublicense, or distribute the Document except
|
412 |
|
|
\" as expressly provided for under this License. Any other attempt to
|
413 |
|
|
\" copy, modify, sublicense or distribute the Document is void, and will
|
414 |
|
|
\" automatically terminate your rights under this License. However,
|
415 |
|
|
\" parties who have received copies, or rights, from you under this
|
416 |
|
|
\" License will not have their licenses terminated so long as such
|
417 |
|
|
\" parties remain in full compliance.
|
418 |
|
|
\" .PP
|
419 |
|
|
|
420 |
|
|
\" 10. FUTURE REVISIONS OF THIS LICENSE
|
421 |
|
|
\" .PP
|
422 |
|
|
\" The Free Software Foundation may publish new, revised versions
|
423 |
|
|
\" of the GNU Free Documentation License from time to time. Such new
|
424 |
|
|
\" versions will be similar in spirit to the present version, but may
|
425 |
|
|
\" differ in detail to address new problems or concerns. See
|
426 |
|
|
\" http://www.gnu.org/copyleft/.
|
427 |
|
|
\" .PP
|
428 |
|
|
\" Each version of the License is given a distinguishing version number.
|
429 |
|
|
\" If the Document specifies that a particular numbered version of this
|
430 |
|
|
\" License "or any later version" applies to it, you have the option of
|
431 |
|
|
\" following the terms and conditions either of that specified version or
|
432 |
|
|
\" of any later version that has been published (not as a draft) by the
|
433 |
|
|
\" Free Software Foundation. If the Document does not specify a version
|
434 |
|
|
\" number of this License, you may choose any version ever published (not
|
435 |
|
|
\" as a draft) by the Free Software Foundation.
|
436 |
|
|
\" .PP
|
437 |
|
|
|
438 |
|
|
\" ADDENDUM: How to use this License for your documents
|
439 |
|
|
\" .PP
|
440 |
|
|
\" To use this License in a document you have written, include a copy of
|
441 |
|
|
\" the License in the document and put the following copyright and
|
442 |
|
|
\" license notices just after the title page:
|
443 |
|
|
\" .PP
|
444 |
|
|
\" Copyright (c) YEAR YOUR NAME.
|
445 |
|
|
\" Permission is granted to copy, distribute and/or
|
446 |
|
|
\" modify this document under the terms of the GNU
|
447 |
|
|
\" Free Documentation License, Version 1.1 or any later
|
448 |
|
|
\" version published by the Free Software Foundation;
|
449 |
|
|
\" with the Invariant Sections being LIST THEIR TITLES,
|
450 |
|
|
\" with the Front-Cover Texts being LIST, and with the
|
451 |
|
|
\" Back-Cover Texts being LIST. A copy of the license
|
452 |
|
|
\" is included in the section entitled "GNU Free
|
453 |
|
|
\" Documentation License".
|
454 |
|
|
\" .PP
|
455 |
|
|
\" If you have no Invariant Sections, write "with no Invariant Sections"
|
456 |
|
|
\" instead of saying which ones are invariant. If you have no
|
457 |
|
|
\" Front-Cover Texts, write "no Front-Cover Texts" instead of
|
458 |
|
|
\" "Front-Cover Texts being LIST"; likewise for Back-Cover Texts.
|
459 |
|
|
\" .PP
|
460 |
|
|
\" If your document contains nontrivial examples of program code, we
|
461 |
|
|
\" recommend releasing these examples in parallel under your choice of
|
462 |
|
|
\" free software license, such as the GNU General Public License,
|
463 |
|
|
\" to permit their use in free software.
|