X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=gendocs_template;fp=gendocs_template;h=0000000000000000000000000000000000000000;hb=8e8f500a7d956de742daa3a7709ef815d6ce10b6;hp=ee6a5c566e6242f36ea6ab9f3599c793cc1b7994;hpb=48f7e96652a19782e340a0c20eaa0bc984139073;p=pspp diff --git a/gendocs_template b/gendocs_template deleted file mode 100644 index ee6a5c566e..0000000000 --- a/gendocs_template +++ /dev/null @@ -1,96 +0,0 @@ - -
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.)
- - - - - - - - - - - -