From d0821c856b5d9159dbe3621d150e16c24e1b1928 Mon Sep 17 00:00:00 2001 From: "Bradley M. Kuhn" Date: Thu, 20 Mar 2014 22:09:36 -0400 Subject: [PATCH] Various formatting fixes. --- gpl-lgpl.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gpl-lgpl.tex b/gpl-lgpl.tex index f9722e8..a2a23c2 100644 --- a/gpl-lgpl.tex +++ b/gpl-lgpl.tex @@ -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