diff options
| author | Dan Gudmundsson <dgud@erlang.org> | 2020-10-26 15:42:24 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <dgud@erlang.org> | 2020-12-21 12:04:28 +0100 |
| commit | f67cd49710dbe0b866fd614a06194932476671b5 (patch) | |
| tree | 909ed74c1addccecbdf8feb6fc69bcd2f40dbaff /.gitignore | |
| parent | 9f9dba1cb5860adbea63fc668a02fed00a6e847a (diff) | |
| download | erlang-f67cd49710dbe0b866fd614a06194932476671b5.tar.gz | |
wx: Generate docs
Use (and modify) wxWidgets doc input to generate documenation for erlang.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 7a22e616ce..91e0c76314 100644 --- a/.gitignore +++ b/.gitignore @@ -411,6 +411,7 @@ JAVADOC-GENERATED /lib/wx/wx-*.ez /lib/wx/CONF_INFO /lib/wx/doc/src/ref_man.xml +/lib/wx/doc/src/specs.xml /lib/wx/priv/wxe_driver.* /lib/wx/priv/erl_gl.* |