diff --git a/guide.html b/guide.html index 8b63509..a58acf7 100644 --- a/guide.html +++ b/guide.html @@ -1044,7 +1044,7 @@

9. Examples

diff --git a/reference.html b/reference.html index 8ed9fb3..9253e3f 100644 --- a/reference.html +++ b/reference.html @@ -1512,7 +1512,7 @@

Appendix B: Influences

diff --git a/ripshell.html b/ripshell.html index 71fc66d..7a1b502 100644 --- a/ripshell.html +++ b/ripshell.html @@ -556,7 +556,7 @@

Appendix A: Goals