summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/client.html (renamed from live/client.html)0
-rw-r--r--docs/commands.html (renamed from live/commands.html)0
-rw-r--r--docs/css/control.css (renamed from live/css/control.css)0
-rw-r--r--docs/favicon.ico (renamed from live/favicon.ico)bin4286 -> 4286 bytes
-rw-r--r--docs/fonts/opensans.woff2 (renamed from live/fonts/opensans.woff2)bin279056 -> 279056 bytes
-rw-r--r--docs/fonts/source-code-pro.woff2 (renamed from live/fonts/source-code-pro.woff2)bin84120 -> 84120 bytes
-rw-r--r--docs/hdb.html (renamed from live/hdb.html)0
-rw-r--r--docs/img/banner.png (renamed from live/img/banner.png)bin40887 -> 40887 bytes
-rw-r--r--docs/img/banner.webp (renamed from live/img/banner.webp)bin11346 -> 11346 bytes
-rw-r--r--docs/img/logo.png (renamed from live/img/logo.png)bin28143 -> 28143 bytes
-rw-r--r--docs/img/logo.webp (renamed from live/img/logo.webp)bin5860 -> 5860 bytes
-rw-r--r--docs/index.html (renamed from live/index.html)0
-rw-r--r--docs/server.html (renamed from live/server.html)0
-rw-r--r--makefile10
14 files changed, 5 insertions, 5 deletions
diff --git a/live/client.html b/docs/client.html
index 8d2f617..8d2f617 100644
--- a/live/client.html
+++ b/docs/client.html
diff --git a/live/commands.html b/docs/commands.html
index 1cc28e1..1cc28e1 100644
--- a/live/commands.html
+++ b/docs/commands.html
diff --git a/live/css/control.css b/docs/css/control.css
index 6a731ab..6a731ab 100644
--- a/live/css/control.css
+++ b/docs/css/control.css
diff --git a/live/favicon.ico b/docs/favicon.ico
index d76f3a3..d76f3a3 100644
--- a/live/favicon.ico
+++ b/docs/favicon.ico
Binary files differ
diff --git a/live/fonts/opensans.woff2 b/docs/fonts/opensans.woff2
index f4a0737..f4a0737 100644
--- a/live/fonts/opensans.woff2
+++ b/docs/fonts/opensans.woff2
Binary files differ
diff --git a/live/fonts/source-code-pro.woff2 b/docs/fonts/source-code-pro.woff2
index 749efbc..749efbc 100644
--- a/live/fonts/source-code-pro.woff2
+++ b/docs/fonts/source-code-pro.woff2
Binary files differ
diff --git a/live/hdb.html b/docs/hdb.html
index 31986c6..31986c6 100644
--- a/live/hdb.html
+++ b/docs/hdb.html
diff --git a/live/img/banner.png b/docs/img/banner.png
index 1d5d625..1d5d625 100644
--- a/live/img/banner.png
+++ b/docs/img/banner.png
Binary files differ
diff --git a/live/img/banner.webp b/docs/img/banner.webp
index dae1345..dae1345 100644
--- a/live/img/banner.webp
+++ b/docs/img/banner.webp
Binary files differ
diff --git a/live/img/logo.png b/docs/img/logo.png
index d2c7ce4..d2c7ce4 100644
--- a/live/img/logo.png
+++ b/docs/img/logo.png
Binary files differ
diff --git a/live/img/logo.webp b/docs/img/logo.webp
index e4ab754..e4ab754 100644
--- a/live/img/logo.webp
+++ b/docs/img/logo.webp
Binary files differ
diff --git a/live/index.html b/docs/index.html
index a32d928..a32d928 100644
--- a/live/index.html
+++ b/docs/index.html
diff --git a/live/server.html b/docs/server.html
index c7dce69..c7dce69 100644
--- a/live/server.html
+++ b/docs/server.html
diff --git a/makefile b/makefile
index 4c90120..31344a3 100644
--- a/makefile
+++ b/makefile
@@ -1,6 +1,6 @@
all:
- php -f index.php >live/index.html
- php -f client.php >live/client.html
- php -f server.php >live/server.html
- php -f hdb.php >live/hdb.html
- php -f commands.php >live/commands.html
+ php -f index.php >docs/index.html
+ php -f client.php >docs/client.html
+ php -f server.php >docs/server.html
+ php -f hdb.php >docs/hdb.html
+ php -f commands.php >docs/commands.html