diff --git a/doc/c/cc.pat b/doc/c/cc.patch similarity index 100% rename from doc/c/cc.pat rename to doc/c/cc.patch diff --git a/doc/c/ccdoc.text b/doc/c/ccdoc.text index d427bafe..2201d2d0 100644 Binary files a/doc/c/ccdoc.text and b/doc/c/ccdoc.text differ