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

%%TITLE%%

@@ -33,7 +27,7 @@

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