diff --git a/doc/api_manual_latest.html b/doc/api_manual_latest.html new file mode 120000 index 000000000..46e4f4535 --- /dev/null +++ b/doc/api_manual_latest.html @@ -0,0 +1 @@ +api_manual_v1.5.7.html \ No newline at end of file diff --git a/index.html b/index.html index c3c3e785f..0057deb13 100644 --- a/index.html +++ b/index.html @@ -62,7 +62,7 @@