diff --git a/guide.html b/guide.html index 04c6dd8..641f848 100644 --- a/guide.html +++ b/guide.html @@ -1045,7 +1045,7 @@

9. Examples

diff --git a/reference.html b/reference.html index 601c361..f0c3574 100644 --- a/reference.html +++ b/reference.html @@ -1513,7 +1513,7 @@

Appendix B: Influences

diff --git a/ripshell.html b/ripshell.html index 8cfff64..6d81b4e 100644 --- a/ripshell.html +++ b/ripshell.html @@ -557,7 +557,7 @@

Appendix A: Goals