Minor improvements to infrap4d documentation

Signed-off-by: Derek Foster <[email protected]>
ipdk-io · Nov 7, 2024 · 0273d1e · 0273d1e
1 parent 13df050
commit 0273d1e
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 6 deletions.
diff --git a/docs/executables/infrap4d.rst b/docs/executables/infrap4d.rst
@@ -5,6 +5,12 @@
 Infrap4d
 ========
 
+infrap4d is the P4 Control Plane server daemon.
+
+It consists of a P4Runtime server, a gNMI server, and a component that
+receives network events from the Linux kernel and updates tables in
+the P4 pipeline.
+
 .. toctree::
    :maxdepth: 1
 

diff --git a/docs/executables/infrap4d/infrap4d-flags.rst b/docs/executables/infrap4d/infrap4d-flags.rst
@@ -4,13 +4,15 @@
 
 .. _infrap4d_flags:
 
-==============
-Infrap4d Flags
-==============
+========================
+Infrap4d Flags Reference
+========================
 
 .. contents::
    :depth: 3
 
+This section contains a list of the command-line flags that infrap4d accepts.
+
 Common Flags
 ============
 

diff --git a/docs/executables/infrap4d/infrap4d.rst b/docs/executables/infrap4d/infrap4d.rst
@@ -1,9 +1,9 @@
 .. Copyright 2024 Intel Corporation
    SPDX-License-Identifier: Apache 2.0
 
-========
-Infrap4d
-========
+===================
+Infrap4d User Guide
+===================
 
 .. contents::
    :depth: 3