X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fgendocs_template;h=0c557243e09774642404cb8bef411f75baa2008f;hb=3a3fe58b91a00ba3cafd960a2e2355c842448e47;hp=d744e4c10abae947d4d3426c0caf6c354f0f24db;hpb=5805f8295c2199d8343cecd335ab4d75272bff91;p=pspp diff --git a/doc/gendocs_template b/doc/gendocs_template old mode 100755 new mode 100644 index d744e4c10a..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.
+ +