From cf2590b809bc4d86b6812e86c522684f37ccb0bb Mon Sep 17 00:00:00 2001 From: celie Date: Thu, 24 May 2018 14:46:44 +0200 Subject: [PATCH] add main page for api and manual doc --- api | 1 + dev/api/index.html | 1 + dev/index.html | 1 + dev/manual/index.html | 1 + index.html | 1 + manual | 1 + 6 files changed, 6 insertions(+) create mode 120000 api create mode 120000 dev/api/index.html create mode 120000 dev/index.html create mode 120000 dev/manual/index.html create mode 120000 index.html create mode 120000 manual diff --git a/api b/api new file mode 120000 index 0000000..ff689a6 --- /dev/null +++ b/api @@ -0,0 +1 @@ +dev/api \ No newline at end of file diff --git a/dev/api/index.html b/dev/api/index.html new file mode 120000 index 0000000..027a681 --- /dev/null +++ b/dev/api/index.html @@ -0,0 +1 @@ +Ocsimore_lib.html \ No newline at end of file diff --git a/dev/index.html b/dev/index.html new file mode 120000 index 0000000..ca38663 --- /dev/null +++ b/dev/index.html @@ -0,0 +1 @@ +manual/intro.html \ No newline at end of file diff --git a/dev/manual/index.html b/dev/manual/index.html new file mode 120000 index 0000000..51720c6 --- /dev/null +++ b/dev/manual/index.html @@ -0,0 +1 @@ +intro.html \ No newline at end of file diff --git a/index.html b/index.html new file mode 120000 index 0000000..bcd83e2 --- /dev/null +++ b/index.html @@ -0,0 +1 @@ +dev/manual/intro.html \ No newline at end of file diff --git a/manual b/manual new file mode 120000 index 0000000..06ed05d --- /dev/null +++ b/manual @@ -0,0 +1 @@ +dev/manual/ \ No newline at end of file