commit | a34afb5f2dc4eb8fb1739524340194eb6373439a | [log] [tgz] |
---|---|---|
author | Zack Williams <zdw@opennetworking.org> | Wed Mar 13 08:12:30 2019 -0700 |
committer | Zack Williams <zdw@opennetworking.org> | Wed Mar 13 14:18:07 2019 -0700 |
tree | fe62cd00f0c95bbb17f709db1e3c078b7c6c7c79 | |
parent | 6d787c9c2be1bea56ecafbde636e03aa40fa1334 [diff] [blame] |
Fix the XOS documentation Change-Id: Ia633c5a0089d8cd095af102fa1bd0ec084973231
diff --git a/docs/Makefile b/docs/Makefile index 0cd84bd..86248c0 100644 --- a/docs/Makefile +++ b/docs/Makefile
@@ -10,7 +10,7 @@ # use bash for pushd/popd, and to fail if commands within a pipe fail SHELL = bash -o pipefail -GENERATED_DOCS = +GENERATED_DOCS = LINT_STYLE ?= mdl_relaxed.rb