Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Because of this change: 7.0 (7 November 2022) * texi2any . HTML output: . use manual_name_html as output directory for split HTML instead of manual_name or manual_name.html
- Loading branch information