diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ghdl.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ghdl.texi b/doc/ghdl.texi index 9d0506567..7d511989e 100644 --- a/doc/ghdl.texi +++ b/doc/ghdl.texi @@ -21,7 +21,7 @@ @copying @quotation -GHDL 0.35rc1, Dec 14, 2017 +GHDL 0.35, Dec 14, 2017 Tristan Gingold and contributors @@ -83,7 +83,7 @@ LRM) is a plus. -This document was generated on Dec 14, 2017 - 05:28. +This document was generated on Dec 14, 2017 - 06:39. @c # preload commonly known graphical characters like (c) |