diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2024-06-07 20:17:04 +0200 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2024-06-07 20:17:04 +0200 |
| commit | fb714e9796350e31b0a7e2b8e155ec75e0136e88 (patch) | |
| tree | 293f16fe4fa0ce561e4636a971d715c7bbd09f07 /docs/Makefile | |
| parent | 8891c76610e77d605e5816e319699a0cbcc31b30 (diff) | |
make: docs: Generate all formats
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/docs/Makefile b/docs/Makefile index b098bcd..8bd3107 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,14 +1,12 @@ -include ../config.mk include ../default.mk -## ################################################################### - .PHONY: install clean AUTHORS.md stats -all: info - ## Build ############################################################# +docs: texi info html html-dir pdf + texi: $(TEXIPAGES) info: $(INFOPAGES) dir html: $(HTMLFILES) |