Get rid of ckeks mention

diff --git a/c/doc/.gitignore b/c/doc/.gitignore
index 71c97b1437688d066b9676e08470484fb81fab12ba3df2dbaf01760f06b4e113..47aeadb0e314a0c5ff5bf5d2084eebd8f00020430dfe3358ff331ec675fae4a4 100644 (file)
--- a/c/doc/.gitignore
+++ b/c/doc/.gitignore
@@ -1,3 +1,3 @@
 /build/
-/ckeks.info
+/keks.info
 /docstringer.log

diff --git a/c/doc/clean b/c/doc/clean
index 4757f3cf8ab056d1e6ddbd11964f45ff6ae6f582420303c5ad2b0a63250d9fe2..d51aa7648a9c6f545492a2ee76657871d60dd4117acaf08b8ea86bfec97df7fa 100755 (executable)
--- a/c/doc/clean
+++ b/c/doc/clean
@@ -1,4 +1,4 @@
 #!/bin/sh -e
 
 cd "$(dirname "$(realpath -- "$0")")"
-rm -fr build ckeks.info docstringer.log
+rm -fr build docstringer.log keks.info

diff --git a/c/doc/ckeks.info.do b/c/doc/keks.info.do
similarity index 100%
rename from c/doc/ckeks.info.do
rename to c/doc/keks.info.do