diff options
Diffstat (limited to 'libitm')
| -rw-r--r-- | libitm/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libitm/Makefile.in b/libitm/Makefile.in index f51858d..a07b9eb 100644 --- a/libitm/Makefile.in +++ b/libitm/Makefile.in @@ -347,6 +347,7 @@ SED = @SED@ SET_MAKE = @SET_MAKE@ SHELL = @SHELL@ SPHINX_BUILD = @SPHINX_BUILD@ +HAS_SPHINX_BUILD = @HAS_SPHINX_BUILD@ STRIP = @STRIP@ VERSION = @VERSION@ XCFLAGS = @XCFLAGS@ |