diff options
| author | Guido van Rossum <guido@python.org> | 1995-03-17 15:59:41 +0000 |
|---|---|---|
| committer | Guido van Rossum <guido@python.org> | 1995-03-17 15:59:41 +0000 |
| commit | 55dd113bc878f5e584dcad81b4bed1144d320cb2 (patch) | |
| tree | f2082fd91f4dcfa0b63c0b547f490c21115e7271 | |
| parent | 14ece169ab027c2139918d817fc210a1ee51a4d0 (diff) | |
| download | cpython-git-55dd113bc878f5e584dcad81b4bed1144d320cb2.tar.gz | |
forget about html.sty
| -rw-r--r-- | Doc/ref.tex | 2 | ||||
| -rw-r--r-- | Doc/ref/ref.tex | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Doc/ref.tex b/Doc/ref.tex index ae1a13e3eb..a61c2de25d 100644 --- a/Doc/ref.tex +++ b/Doc/ref.tex @@ -1,4 +1,4 @@ -\documentstyle[twoside,11pt,myformat,html]{report} +\documentstyle[twoside,11pt,myformat]{report} \title{Python Reference Manual} diff --git a/Doc/ref/ref.tex b/Doc/ref/ref.tex index ae1a13e3eb..a61c2de25d 100644 --- a/Doc/ref/ref.tex +++ b/Doc/ref/ref.tex @@ -1,4 +1,4 @@ -\documentstyle[twoside,11pt,myformat,html]{report} +\documentstyle[twoside,11pt,myformat]{report} \title{Python Reference Manual} |