Add hacks to make URLs more like web pages.

diff --git a/doc/ref-manual/scheme.texinfo b/doc/ref-manual/scheme.texinfo
index f46e8a40c918ad84a0d88f5639310355fc17daa4..c666440130eb03eb7169dbba3e652da78bc5a707 100644 (file)
--- a/doc/ref-manual/scheme.texinfo
+++ b/doc/ref-manual/scheme.texinfo
@@ -61,6 +61,11 @@ Documentation License.''
 @end ifnothtml
 @contents
 
+@tex
+\global\urefurlonlylinktrue
+\global\def\urlcolor{0 0 1}   % blue
+@end tex
+
 @ifnottex
 @node Top, Acknowledgements, (dir), (dir)
 @top MIT/GNU Scheme