From 6888c3d60495f7807468edf1c78ff2c817c64f31 Mon Sep 17 00:00:00 2001
From: Jak Wings <jakwings@gmail.com>
Date: Thu, 31 Mar 2016 14:51:58 +0800
Subject: rename make target "user_doc" to "doc"

Fixes #2875
---
 Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.in')

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=
-- 
cgit v1.2.3