From b5a575b0924036378b6deb50ac8fe7de3380e18d Mon Sep 17 00:00:00 2001
From: Paul Vinciguerra <pvinci@vinciconsulting.com>
Date: Fri, 1 Nov 2019 13:00:58 -0400
Subject: docs: clean up make docs job

Type: docs

Change-Id: I9b5e5137eb4c1e89f6e8d7a278cd11a0fd496471
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
---
 src/vppinfra/random.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/vppinfra')

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.
-- 
cgit 1.2.3-korg