X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=blobdiff_plain;f=gendocs_template_min;h=93b9c19efaf5b463ef2043bbdd38d0f58bd54bec;hp=58b8944add0e0fb9d4ae58fcd1410093a08c7598;hb=6d7df444997670f97a367b89fab6c0f5d8ecc4fd;hpb=c5a2ccec277a0a538f2def943c71a9f7e2dbebd1 diff --git a/gendocs_template_min b/gendocs_template_min index 58b8944add..93b9c19efa 100644 --- a/gendocs_template_min +++ b/gendocs_template_min @@ -7,15 +7,8 @@ %%TITLE%% - GNU Project - Free Software Foundation (FSF) - - - - - - -

%%TITLE%%

@@ -69,8 +62,6 @@ (%%ASCII_GZ_SIZE%%K bytes gzipped).
  • TeX dvi file (%%DVI_GZ_SIZE%%K bytes gzipped).
  • -
  • PostScript file - (%%PS_GZ_SIZE%%K bytes gzipped).
  • PDF file (%%PDF_SIZE%%K bytes).
  • Texinfo source @@ -80,22 +71,21 @@

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

    -