diff options
| author |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2019-11-01 13:00:58 -0400 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2020-05-06 15:13:09 +0000 |
| commit | b5a575b0924036378b6deb50ac8fe7de3380e18d (patch) | |
| tree | fae50e4af5256fe24838f7e85d1d6c17bcdc80d4 /src/vppinfra | |
| parent | aad5e0c16fb4d91f6d896f8035d6acb9bcd0fec6 (diff) | |
docs: clean up make docs job
Type: docs
Change-Id: I9b5e5137eb4c1e89f6e8d7a278cd11a0fd496471
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'src/vppinfra')
| -rw-r--r-- | src/vppinfra/random.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/vppinfra/random.c b/src/vppinfra/random.c index ea89f0a1618..f16f3960eca 100644 --- a/src/vppinfra/random.c +++ b/src/vppinfra/random.c @@ -37,7 +37,8 @@ #include <vppinfra/random.h> -/** \file Random number support +/** \file random.c + Random number support */ /** \brief Default random seed for standalone version of library. |