Skip to content
Snippets Groups Projects
user avatar
8d5e5941
History
----------------------------------------------------
--- Changelog Generator
----------------------------------------------------

Tool used by the doc/www/src/Makefile
 
----------------------------------------------------
Syntax of changelog entries :
----------------------------------------------------

# Mark "*": bug fixed.                                                        
# Mark "-": change with an impact for users.                                  
# Mark "o": change with an impact for developers only.                        
# Mark "!": change that can break compatibility with existing development.    
# '#nnn'   : BTS entry #nnn                                                   
# '#!nnn'  : BTS private entry #nnn                                           
# '#?nnn'  : OLD-BTS entry #nnn                                               

----------------------------------------------------
Syntax of Frama-C release:
----------------------------------------------------

########################################################
Open Source Release <FRAMAC-VERSION> (<FRAMAC_CODENAME>)
########################################################

----------------------------------------------------------
Syntax of Frama-C plugin release having its own Changelog:
----------------------------------------------------------

###################################
Plugin <Name> <Version> (<FRAMAC_CODENAME>)
###################################

or (to refers to the current kernel version of Frama-C):
###################################
Plugin <Name> <Version>
###################################

----------------------------------------------------
Name of services for external plugins:
----------------------------------------------------
#   Cmd : command line interface
#   Gui : graphical user interface
#   <Plugin> : plugin general
#   <Service> : plugin sub-service