X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fgendocs_template_min;h=a5412841e4abcb1c5b027dd0d34d5f9af8d7e475;hb=4969ef133e2f6bd4086b9faf6aa5c73bce0c668f;hp=ce1bbe369f53ebab59fcbe1f04f9a67d9d5b78ee;hpb=e87d931500c732d57c5040f4a4a147d6875267fa;p=pspp diff --git a/doc/gendocs_template_min b/doc/gendocs_template_min index ce1bbe369f..a5412841e4 100644 --- a/doc/gendocs_template_min +++ b/doc/gendocs_template_min @@ -33,7 +33,7 @@

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