diff --git a/documentation/preface.html b/documentation/preface.html index a20ff3e49..9afaddd9f 100644 --- a/documentation/preface.html +++ b/documentation/preface.html @@ -47,6 +47,8 @@ HREF="license.html">Appendix A.