diff options
Diffstat (limited to 'manual/src')
| -rw-r--r-- | manual/src/allfiles.etex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/manual/src/allfiles.etex b/manual/src/allfiles.etex index 6600943f54..3e07555b85 100644 --- a/manual/src/allfiles.etex +++ b/manual/src/allfiles.etex @@ -12,7 +12,8 @@ release \ocamlversion \\[1cm] \Large Documentation and user's manual \\[1cm] \large Xavier Leroy, \\ - Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy and Jérôme Vouillon \\[1cm] + Damien Doligez, Alain Frisch, Jacques Garrigue, \\ + Didier Rémy, KC Sivaramakrishnan and Jérôme Vouillon \\[1cm] \today \\ ~ \vfill |