add a script to diff rendered documentation

diff --git a/cache.h b/cache.h
index 87785fc83218cff355f02e2e92a7f819594e5b15..8dc7134f002e0f8bfe693d2679cda6a95fc7c118 100644 (file)
--- a/cache.h
+++ b/cache.h
@@ -877,7 +877,6 @@ extern char *git_replace_ref_base;
 
 extern int fsync_object_files;
 extern int core_preload_index;
-extern int core_commit_graph;
 extern int core_apply_sparse_checkout;
 extern int precomposed_unicode;
 extern int protect_hfs;