tree 33cbf5d8443444238e3aec0d3a9094d7ae6f6298
parent 42f64f9b870bbd885cfb0bea63a58bc80fd9e292
author Lukas Jungmann <lukas.jungmann@oracle.com> 1587651975 +0200
committer Lukas Jungmann <lukas.jungmann@oracle.com> 1587656494 +0200

fix broken html files, minor updates to spec names

Signed-off-by: Lukas Jungmann <lukas.jungmann@oracle.com>