diff options
| author | Willem Van Onsem <3482343+KommuSoft@users.noreply.github.com> | 2020-05-25 18:23:01 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-25 12:23:01 -0400 |
| commit | 8551fcd2e3e0d1a34fc09233f35a62d537df7cc1 (patch) | |
| tree | cf70548ef41faf777264931a1bc0217fbabdc851 /doc/Makefile | |
| parent | 3c9e8081228ffcc38c760a6d9501a626071a5105 (diff) | |
Use floor over round to calculate the percentage (#1195)
If we compile documentation where only a small fraction is undocumented,
it is misleading to see 100% coverage - 99% is more intuitive.
Fixes #1194
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions