diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2022-01-30 20:12:56 +0100 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2022-01-30 20:12:56 +0100 |
| commit | 823b3babb7d75dcf65edf4841fa4129ad9f6a3fd (patch) | |
| tree | b5503b1f1b1d30c790b7637c68414aa342cdd970 /.gitignore | |
| parent | 1fd1cf517f939588448f22d812eba828c945515a (diff) | |
Add CI workflow to generate and distribute manual
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,6 +1,8 @@ /config.mk /docs/*.html +/docs/*.info /docs/*.pdf +/docs/*.texi /docs/dir /docs/stats/ /lisp/*-autoloads.el |