tree fe02889697206516d4f883c4e6e302cf04cc9091
parent af32b34c11b0b791a2e1d047725a55a6f8ee3ccc
author David Shah <dave@ds0.me> 1599679908 +0100
committer David Shah <dave@ds0.me> 1599679908 +0100

tools: Fix HTML index output

Signed-off-by: David Shah <dave@ds0.me>