diff options
| author | Robert Hensing <robert@roberthensing.nl> | 2023-01-03 11:04:52 +0100 |
|---|---|---|
| committer | Robert Hensing <robert@roberthensing.nl> | 2023-01-10 22:30:41 +0100 |
| commit | fd2af69e600fdf0e06c996df607d560b222f7a38 (patch) | |
| tree | 956d894f16839df1c0ae39d06aabf5cd7b149e48 /local.mk | |
| parent | d5c8289f1e39397fcf562fa750719e9e86569041 (diff) | |
doc/manual: Move the html files back where they were before
... before the link checking "output" was added, bumping the
html output into a subdirectory.
Diffstat (limited to 'local.mk')
0 files changed, 0 insertions, 0 deletions