From 35cee1e39c0ca6bd35f2bb0c18ad6ffca5cc7108 Mon Sep 17 00:00:00 2001
From: Kurtis Rader <krader@skepticism.us>
Date: Wed, 30 Mar 2016 15:35:14 -0700
Subject: remove "doc" make target and rename "user_doc"

Fixes #2874
---
 doc_src/FORMATTING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc_src')

diff --git a/doc_src/FORMATTING.md b/doc_src/FORMATTING.md
index 0a44f355..0ae1c81e 100644
--- a/doc_src/FORMATTING.md
+++ b/doc_src/FORMATTING.md
@@ -56,7 +56,7 @@ is transformed into:
 
 `@cmnd{echo} @args{hello} @args{world}`
 
-which is then transformed by Doxygen into an HTML version (`make user_doc`):
+which is then transformed by Doxygen into an HTML version (`make doc`):
 
 `<span class="command">echo</span> <span class="argument">hello</span> <span class="argument">world</span>`
 
-- 
cgit v1.2.3