diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2024-08-17 19:47:24 +0200 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2024-08-17 19:47:24 +0200 |
| commit | e9e4233d40c924b395766233b9aea1cfea18a48d (patch) | |
| tree | 8b96673467e07dad3dc4a8b4af90c8b7402e77c1 /Makefile | |
| parent | 3f1b916f09c020d135f9c326320312026de78421 (diff) | |
make: Ensure documentation is cleaned up and regenerated when needed
- Files are not the only inputs to `texi', so we cannot rely on their
modification times alone, to determine whether a rebuild is required.
The new `redo-docs' always regenerates the texi file and thus all
other formats. Use that target before publishing the manual.
- Teach `html-dir' to only regenerate if a texi file has actually been
touched.
- However when `html-dir' does regenerate, we must first remove all
existing html files, to avoid files that used to be generated but
are not being generated anymore, from sticking around.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -23,6 +23,7 @@ help: $(info make lisp - compile elisp) $(info make redo - re-compile elisp) $(info make docs - generate all manual formats) + $(info make redo-docs - re-generate all manual formats) $(info make texi - generate texi manuals) $(info make info - generate info manuals) $(info make html - generate html manual files) @@ -69,15 +70,18 @@ help: ## Build ############################################################# -redo: clean-lisp lisp - lisp: @$(MAKE) -C lisp lisp @$(MAKE) -C test lisp +redo: clean-lisp lisp + docs: @$(MAKE) -C docs docs +redo-docs: + @$(MAKE) -C docs redo-docs + texi: @$(MAKE) -C docs texi |