doc/hacking: fix make target to build the docs (#9033)

Was confused why `make html` didn't work while working on #9032, but
then I realized that after this section was written, the target was
renamed to `manual-html` in 6910f5dcb6.
This commit is contained in:
Maximilian Bosch 2023-09-24 20:28:34 +02:00 committed by GitHub
parent f89b84919c
commit 89e5e68799
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -228,7 +228,7 @@ This happens late in the process, so `nix build` is not suitable for iterating.
To build the manual incrementally, run: To build the manual incrementally, run:
```console ```console
make html -j $NIX_BUILD_CORES make manual-html -j $NIX_BUILD_CORES
``` ```
In order to reflect changes to the [Makefile], clear all generated files before re-building: In order to reflect changes to the [Makefile], clear all generated files before re-building: