diff options
| author | Daiki Ueno <ueno@gnu.org> | 2022-01-04 09:06:21 +0100 |
|---|---|---|
| committer | Daiki Ueno <ueno@gnu.org> | 2022-01-15 09:25:56 +0100 |
| commit | bf78b2258ea8c3392a85014bc828739b0a32e2c8 (patch) | |
| tree | 8526de001ca2317791e7e822f8f7a212be1e2c93 /.gitignore | |
| parent | 26578b7d02c269ff1d34ff782d84c7667734d03d (diff) | |
| download | gnutls-bf78b2258ea8c3392a85014bc828739b0a32e2c8.tar.gz | |
doc: generate texinfo files from JSON
This replaces texinfo generation previously provided by the autogen
-Tagtexi.tpl command with a Python script (gen-cmd-texi.py).
Signed-off-by: Daiki Ueno <ueno@gnu.org>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 2db1af4870..dd1373a57d 100644 --- a/.gitignore +++ b/.gitignore @@ -110,7 +110,6 @@ doc/gnutls.vr doc/gnutls.vrs doc/gnutls.xml doc/ia-api.texi -doc/invoke-*.menu doc/invoke-*.texi doc/latex/cha-tokens.tex doc/latex/cha-upgrade.tex |