X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fgendocs_template_min;h=109487a2c726c086092fdac69b7104c78e47d5b3;hb=a918da4d61d28be61a12605c9d35e2cf3966d866;hp=8037f9c72b1d48a012f342d7afe1f7486975ca34;hpb=9dd135f95f19447c737596f2b8d6bc8df6902b11;p=pspp diff --git a/doc/gendocs_template_min b/doc/gendocs_template_min index 8037f9c72b..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: