X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fgendocs_template_min;h=109487a2c726c086092fdac69b7104c78e47d5b3;hb=6b147027a1d9870d7d85e8aa8703c1233031a99c;hp=47084562fd2253713514b1c059d832f0d0ba01b7;hpb=0de18c36efd60f28e4e3d293346d410c3be334bd;p=pspp diff --git a/doc/gendocs_template_min b/doc/gendocs_template_min index 47084562fd..109487a2c7 100644 --- a/doc/gendocs_template_min +++ b/doc/gendocs_template_min @@ -10,12 +10,6 @@ - - - - - -

%%TITLE%%

@@ -80,27 +74,21 @@

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

-
-

-Return to the GNU Project home page. -

+ -