diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index c68d7aa5..621d787f 100644 --- a/Makefile.in +++ b/Makefile.in @@ -213,7 +213,7 @@ endif # ifeq ($(HAVE_DOXYGEN), 1) - user_doc=user_doc + user_doc=doc share_man=share/man else user_doc= |