X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fpspp-dev.texinfo;h=c2507412b7a6c314d08f71451156ac0ffb385822;hb=e624e2da6ea68d22e6d4fba4eaa96d37d07a6730;hp=991b04b2417ff5224f059598ea7897a7d4e757bc;hpb=a9acce47d67e0ab35ce1690e4f1b1ac0121c2d78;p=pspp-builds.git diff --git a/doc/pspp-dev.texinfo b/doc/pspp-dev.texinfo index 991b04b2..c2507412 100644 --- a/doc/pspp-dev.texinfo +++ b/doc/pspp-dev.texinfo @@ -48,9 +48,8 @@ and with the Back-Cover Texts as in (a) below. A copy of the license is included in the section entitled ``GNU Free Documentation License.'' -(a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify -this GNU Manual, like GNU software. Copies published by the Free -Software Foundation raise funds for GNU development.'' +(a) The FSF's Back-Cover Text is: ``You have the freedom to copy and +modify this GNU manual.'' @end quotation @end copying