]> granicus.if.org Git - python/commit
Use a really ugly hack that depends on output processing by LaTeX2HTML.
authorFred Drake <fdrake@acm.org>
Sat, 16 Sep 2000 14:16:57 +0000 (14:16 +0000)
committerFred Drake <fdrake@acm.org>
Sat, 16 Sep 2000 14:16:57 +0000 (14:16 +0000)
commit634fc574e1464a0ee4a53dbf134c073070610088
tree343c25ce71ae79dfda6d1fb85f1fc7cd1c3daaa0
parent6e1fecc28aa8d52c2a6a362122ac986f04b11900
Use a really ugly hack that depends on output processing by LaTeX2HTML.
This replaces the tilde character with the string ";SPMtilde;", which
LaTeX2HTML converts to a tilde on output.
Doc/html/about.dat
Doc/html/stdabout.dat