commit | 634fc574e1464a0ee4a53dbf134c073070610088 | [log] [tgz] |
---|---|---|
author | Fred Drake <fdrake@acm.org> | Sat Sep 16 14:16:57 2000 +0000 |
committer | Fred Drake <fdrake@acm.org> | Sat Sep 16 14:16:57 2000 +0000 |
tree | 343c25ce71ae79dfda6d1fb85f1fc7cd1c3daaa0 | |
parent | 6e1fecc28aa8d52c2a6a362122ac986f04b11900 [diff] |
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.