Close simgrid/simgrid#7 (FramaGit).

diff --git a/ChangeLog b/ChangeLog
index 91fbb8c..a9eba49 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -2,6 +2,7 @@ SimGrid (3.23) NOT RELEASED (Release Target: June 21. 2019, 15:54 UTC)
 
 General:
  - Stop setting random seed with srand48() at initialization.
+ - Build option -Denable_documentation is now OFF by default.
 
 XBT:
  - New log appenders: stdout and stderr. Use stdout for xbt_help.
@@ -16,6 +17,7 @@ Model-checker:
  - Remove option 'model-check/record': Paths are recorded in any cases now.
 
 Fixed bugs (GH=GitHub; FG=FramaGit):
+ - FG#7: simple cmake call requires doxygen
  - FG#10: Can not use MSG_process_set_data from SMPI any more
  - FG#11: Auto-restart actors forget their on_exit behavior
  - GH#133: Java : a process can run on a VM even if its host is off