From 74edc51434103a6c1022089b3e1b8836dfde3d83 Mon Sep 17 00:00:00 2001 From: Morris Jobke Date: Wed, 4 Jan 2017 14:42:30 +0100 Subject: [PATCH] fix doc build Signed-off-by: Morris Jobke --- user_manual/conf.py | 1 + 1 file changed, 1 insertion(+) diff --git a/user_manual/conf.py b/user_manual/conf.py index 9d9d6ae7c8..5bc488fcdf 100644 --- a/user_manual/conf.py +++ b/user_manual/conf.py @@ -10,6 +10,7 @@ # # All configuration values have a default; values that are commented out # serve to show the default. +import os, inspect # If extensions (or modules to document with autodoc) are in another directory, # add these directories to sys.path here. If the directory is relative to the