diff options
Diffstat (limited to 'src/doc/Makefile.in')
| -rw-r--r-- | src/doc/Makefile.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in index d635bff..379bc36 100644 --- a/src/doc/Makefile.in +++ b/src/doc/Makefile.in @@ -6,8 +6,6 @@ SPHINX_BUILD=sphinx-build $(SPHINX_ARGS) DOXYGEN=doxygen docsrc=$(top_srcdir)/../doc -localstatedir=@localstatedir@ -runstatedir=@runstatedir@ sysconfdir=@sysconfdir@ DEFCCNAME=@DEFCCNAME@ DEFKTNAME=@DEFKTNAME@ |