X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fgendocs_template;h=0c557243e09774642404cb8bef411f75baa2008f;hb=4d999ebc6c51a475950ebe070910940f22576a56;hp=9e9717d41462ffd6a98846bbe67b04c49df9e69c;hpb=8ef21c84cb967cac464a1b4adf78828971eac188;p=pspp diff --git a/doc/gendocs_template b/doc/gendocs_template old mode 100755 new mode 100644 index 9e9717d414..0c557243e0 --- a/doc/gendocs_template +++ b/doc/gendocs_template @@ -1,91 +1,89 @@ - - - - -
+
-
-
-
-
This manual (%%PACKAGE%%) is available in the following formats:
You can buy printed copies of +some manuals (among other items) from the Free Software Foundation; +this helps support FSF activities.
+(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.
+ +