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=HEAD;hpb=8ffdac26caf91e175dfd371ef609f39817db79d8 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.)

    -