summaryrefslogtreecommitdiffstats
path: root/src/vppinfra/random.c
diff options
context:
space:
mode:
authorPaul Vinciguerra <pvinci@vinciconsulting.com>2019-11-01 13:00:58 -0400
committerDave Wallace <dwallacelf@gmail.com>2020-05-06 15:13:09 +0000
commitb5a575b0924036378b6deb50ac8fe7de3380e18d (patch)
treefae50e4af5256fe24838f7e85d1d6c17bcdc80d4 /src/vppinfra/random.c
parentaad5e0c16fb4d91f6d896f8035d6acb9bcd0fec6 (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/random.c')
-rw-r--r--src/vppinfra/random.c3
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.