| Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
This currently isn't being used.
|
|
- 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 the 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.
|
|
Now that an Org version (9.6), which contains the necessary changes to
ox-texinfo, has been released, we assume that users have the necessary
tools.
|
|
|
|
|
|
The sisyphus package takes care of this now.
|
|
For consistency with Makefiles of related repositories.
|
|
|
|
|
|
Otherwise it would have to be set explicitly when
running "make release".
|
|
Make "texi" depend on it, which (while not "correct")
ensures that it is run, even when I forget to do so.
|
|
|