diff options
| author | Heinrich Schuchardt | 2020-02-21 18:24:01 +0100 |
|---|---|---|
| committer | Tom Rini | 2020-02-25 09:06:40 -0500 |
| commit | 3eb7b78b42373a260eb6d9996840da36a256f46e (patch) | |
| tree | 5f852d1127dfd679476d25d4f21d8f70abb9fe0a /drivers/pci/pci_sandbox.c | |
| parent | bb9a76ea67fe9b85961b50d9f95b772d6859edaa (diff) | |
gitlab: build HTML documentation
Several patches delivered incorrect restructured text as documentation. We
should be able to discover this in Gitlab CI.
Provide a build step for 'make htmldocs'.
Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
Reviewed-by: Bin Meng <bmeng.cn@gmail.com>
Diffstat (limited to 'drivers/pci/pci_sandbox.c')
0 files changed, 0 insertions, 0 deletions