diff options
| author | Alois Wohlschlager <alois1@gmx-topmail.de> | 2024-10-05 10:49:34 +0200 |
|---|---|---|
| committer | Alois Wohlschlager <alois1@gmx-topmail.de> | 2024-10-05 10:49:34 +0200 |
| commit | 5df2cccc4956e53b56ba1613e36d64dc8057c508 (patch) | |
| tree | 52364f847fa11ce57ccba272ec594fa0435a576c /src/libcmd/editor-for.cc | |
| parent | 5b1715e63349541c1d021f6426b2ad67a0bf518f (diff) | |
doc: install the HTML manual again
In 0e6b3435a14a304b8833c27d2911de7ac4e731d4, installation of the HTML manual
was accidentally dropped: setting install_dir on a custom_target only sets the
directory where something is going to be installed if it is installed at all,
but does not itself trigger installation. The latter has to be explicitly
requested, which is just what we do here to get the manual back.
Change-Id: Iff8b791de7e7cb4c8d747c2a9b1154b5fcc32fe0
Diffstat (limited to 'src/libcmd/editor-for.cc')
0 files changed, 0 insertions, 0 deletions