X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fgendocs_template_min;h=109487a2c726c086092fdac69b7104c78e47d5b3;hb=23d3c1a2676b1aa6cb1388891485de846d7435d8;hp=58b8944add0e0fb9d4ae58fcd1410093a08c7598;hpb=e853498c29f3099e1ad9421a4476d0f9e6084c23;p=pspp diff --git a/doc/gendocs_template_min b/doc/gendocs_template_min index 58b8944add..109487a2c7 100644 --- a/doc/gendocs_template_min +++ b/doc/gendocs_template_min @@ -10,12 +10,6 @@ - - - - - -

%%TITLE%%

@@ -80,22 +74,21 @@

(This page generated by the %%SCRIPTNAME%% script.)

-
-

-Please send FSF & GNU inquiries to +

-