diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2024-08-17 09:48:37 +0200 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2024-08-17 09:48:37 +0200 |
| commit | 05b2c5e664046eee9e73a1194e52e7d833fa14ad (patch) | |
| tree | 812bc1bcb2789cf3b739c0a9cb9a95544ed4072c /Makefile | |
| parent | 07142e2b5b5a8381308535ace8aca1f8cb204b93 (diff) | |
make texi: Move definition
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -80,6 +80,9 @@ lisp: docs: @$(MAKE) -C docs docs +texi: + @$(MAKE) -C docs texi + info: @$(MAKE) -C docs info @@ -150,9 +153,6 @@ clean-stats: ## Release management ################################################ -texi: - @$(MAKE) -C docs texi - authors: @$(MAKE) -C docs authors |