Various formatting fixes.

This commit is contained in:
Bradley M. Kuhn 2014-03-20 22:09:36 -04:00
parent e2e1335aea
commit d0821c856b

View file

@ -2421,7 +2421,7 @@ contains all the defined terms related to this important software freedom.
\subsection{Source Code Definition}
First, GPLv3\~S1 retains GPLv2's definition of ``source code'' and adds an
First, GPLv3~\S1 retains GPLv2's definition of ``source code'' and adds an
explicit definition of ``object code'' as ``any non-source version of a
work''. Object code is not restricted to a narrow technical meaning and is
understood broadly to include any form of the work other than the preferred
@ -2553,7 +2553,7 @@ to run is confined to the \textit{unmodified} Program. This confinement is
unfortunately necessary since Programs that do not qualify as a User Product
in GPLv3~\S6 (see \S~\ref{user-product} in this tutorial) might have certain
unfortunate restrictions on the freedom to run\footnote{See
\S~ref{freedom-to-run} of this tutorial for the details on ``the freedom to
\S~\ref{freedom-to-run} of this tutorial for the details on ``the freedom to
run''.}
GPLv3~\S2\P2 distinguishes between activities of a licensee that are