-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathr6rs-official.patch
More file actions
91 lines (82 loc) · 2.53 KB
/
r6rs-official.patch
File metadata and controls
91 lines (82 loc) · 2.53 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
diff --git b/document/Makefile a/document/Makefile
index 2635a43..24c424f 100644
--- b/document/Makefile
+++ a/document/Makefile
@@ -5,7 +5,7 @@ MAKEINDEX = makeindex
SCHEME = scheme48 -a batch
MZSCHEME = mzscheme
# use the one from tex2page distro, *not* the one included with PLT Scheme
-TEX2PAGE = tex2page
+TEX2PAGE = /afs/wsi/home/sperber/build/tex2page/tex2page
report: thirdrun
diff --git b/document/lex.tex a/document/lex.tex
index 1418be8..1241121 100644
--- b/document/lex.tex
+++ a/document/lex.tex
@@ -314,8 +314,9 @@ Another way to indicate a comment is to prefix a \hyper{datum}
the comment prefix {\tt \#;} and the \hyper{datum} together. This
notation is useful for ``commenting out'' sections of code.
+%% XXX: These index entries don't work.
Block comments may be indicated with properly nested {\tt
- \#|}\index{#"|@\texttt{\sharpsign\verticalbar}}\index{"|#@\texttt{\verticalbar\sharpsign}}
+ \#|}\index{#\"|@\texttt{\sharpsign\verticalbar}}\index{\"|#@\texttt{\verticalbar\sharpsign}}
and {\tt |\#} pairs.
\begin{scheme}
diff --git b/document/r6rs-app.tex a/document/r6rs-app.tex
index 869a41a..4eeadab 100644
--- b/document/r6rs-app.tex
+++ a/document/r6rs-app.tex
@@ -1,6 +1,11 @@
\documentclass[twoside,twocolumn]{algol60}
%\documentclass[twoside]{algol60}
+% Reproducible build:
+\pdfsuppressptexinfo=-1
+\pdfinfoomitdate=1
+\pdftrailerid{}
+
\pagestyle{headings}
\showboxdepth=0
%\makeindex
diff --git b/document/r6rs-lib.tex a/document/r6rs-lib.tex
index c9df235..1c0333c 100644
--- b/document/r6rs-lib.tex
+++ a/document/r6rs-lib.tex
@@ -1,6 +1,11 @@
\documentclass[twoside,twocolumn]{algol60}
%\documentclass[twoside]{algol60}
+% Reproducible build:
+\pdfsuppressptexinfo=-1
+\pdfinfoomitdate=1
+\pdftrailerid{}
+
\pagestyle{headings}
\showboxdepth=0
\makeindex
diff --git b/document/r6rs-rationale.tex a/document/r6rs-rationale.tex
index 7921c0c..de28963 100644
--- b/document/r6rs-rationale.tex
+++ a/document/r6rs-rationale.tex
@@ -1,6 +1,11 @@
\documentclass[twoside,twocolumn]{algol60}
%\documentclass[twoside]{algol60}
+% Reproducible build:
+\pdfsuppressptexinfo=-1
+\pdfinfoomitdate=1
+\pdftrailerid{}
+
\pagestyle{headings}
\showboxdepth=0
\makeindex
diff --git b/document/r6rs.tex a/document/r6rs.tex
index 12931bd..66119e2 100644
--- b/document/r6rs.tex
+++ a/document/r6rs.tex
@@ -1,6 +1,10 @@
\documentclass[twoside,twocolumn]{algol60}
%\documentclass[twoside]{algol60}
+% Reproducible build:
+\pdfsuppressptexinfo=-1
+\pdfinfoomitdate=1
+\pdftrailerid{}
\pagestyle{headings}
\showboxdepth=0