summaryrefslogtreecommitdiffstats
path: root/doxygen/user_doc.md
diff options
context:
space:
mode:
authorChris Luke <chrisy@flirble.org>2016-12-28 09:44:47 -0500
committerDamjan Marion <dmarion.lists@gmail.com>2016-12-28 15:48:08 +0000
commitfdc62abdc113ea63dc867375bd49ef3043dcd290 (patch)
tree58fa46de0a30e69db796564890c3daa2830953c7 /doxygen/user_doc.md
parent37d77e9edbf845de23d41c343c11b34a575761ff (diff)
Repair Doxygen build infrastructure
After Gerrit 4430 much of the documentation failed to build, but silently so it was easily missed; equally missing that several paths have been missing for a while. - Correct paths after directory tree changes. - Doxygen now bails when input paths don't exist. - Fix up some of the less deranged entries in the documentation index. - Exclude the LUA tree, its documentation is a mess. Change-Id: I35e6b433feee5e05bca772d93aa1635c724db734 Signed-off-by: Chris Luke <chrisy@flirble.org>
Diffstat (limited to 'doxygen/user_doc.md')
-rw-r--r--doxygen/user_doc.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/doxygen/user_doc.md b/doxygen/user_doc.md
index 2e87c87743f..40303439a81 100644
--- a/doxygen/user_doc.md
+++ b/doxygen/user_doc.md
@@ -12,3 +12,5 @@ Several modules provide operational, dataplane-user focused documentation.
- @subpage ioam_plugin_doc
- @subpage lb_plugin_doc
- @subpage flowperpkt_plugin_doc
+- @subpage span_doc
+- @subpage bfd_doc