diff options
author | Lukas Larsson <lukas@erlang.org> | 2020-02-18 17:08:26 +0100 |
---|---|---|
committer | Lukas Larsson <lukas@erlang.org> | 2020-02-24 09:53:15 +0100 |
commit | 1cd2aacc52841cca4a95838ce68961176454d01a (patch) | |
tree | 8c397c5cf3463ad036dba0ddb5f01734d65cf16f /.gitignore | |
parent | 82d5f9e99343b7060bb27c0dead167f2c104235d (diff) | |
download | erlang-1cd2aacc52841cca4a95838ce68961176454d01a.tar.gz |
Implement EEP-48 aka doc chunks
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 485acca50d..f06f8291f4 100644 --- a/.gitignore +++ b/.gitignore @@ -186,6 +186,7 @@ JAVADOC-GENERATED /lib/*/doc/src/*.fo /lib/*/doc/xml/*.xml /lib/*/doc/xml/*.ent +/lib/*/doc/chunks/*.chunk /lib/config.log /lib/config.status @@ -285,6 +286,7 @@ JAVADOC-GENERATED /erts/doc/src/*.fo /erts/doc/xml/*.xml /erts/doc/xml/figures/*.png +/erts/doc/chunks/*.chunk /erts/doc/man[0-9]/*.[0-9] /erts/doc/CONF_INFO |