add a script to diff rendered documentation

diff --git a/mem-pool.h b/mem-pool.h
index adeefdcb2863f95f2a98c05593466b756b85b73d..999d3c3a52cc49b6dec896fc1e6b31ea8ac078d5 100644 (file)
--- a/mem-pool.h
+++ b/mem-pool.h
@@ -29,7 +29,7 @@ void mem_pool_init(struct mem_pool **mem_pool, size_t initial_size);
 /*
  * Discard a memory pool and free all the memory it is responsible for.
  */
-void mem_pool_discard(struct mem_pool *mem_pool);
+void mem_pool_discard(struct mem_pool *mem_pool, int invalidate_memory);
 
 /*
  * Alloc memory from the mem_pool.