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

%%TITLE%%

@@ -33,16 +27,34 @@

This manual (%%PACKAGE%%) is available in the following formats:

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

-