X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fgendocs_template_min;h=109487a2c726c086092fdac69b7104c78e47d5b3;hb=a918da4d61d28be61a12605c9d35e2cf3966d866;hp=8037f9c72b1d48a012f342d7afe1f7486975ca34;hpb=9dd135f95f19447c737596f2b8d6bc8df6902b11;p=pspp diff --git a/doc/gendocs_template_min b/doc/gendocs_template_min index 8037f9c72b..109487a2c7 100644 --- a/doc/gendocs_template_min +++ b/doc/gendocs_template_min @@ -10,12 +10,6 @@ - - - - - -
This manual (%%PACKAGE%%) is available in the following formats:
(This page generated by the %%SCRIPTNAME%% script.)
--Return to the GNU Project home page. -
+ +Verbatim copying and distribution of this entire article are +permitted worldwide, without royalty, in any medium, provided this +notice, and the copyright notice, are preserved.
+