From e31133c804ebb50ea89198445aec93d85584a7f8 Mon Sep 17 00:00:00 2001
From: Greg King <gregdk@users.sf.net>
Date: Wed, 24 May 2017 18:49:02 -0400
Subject: [PATCH] Added "html" and "info" goals to the top-level Makefile.

They are for people who don't want to build both types of documents at the same time.
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 808689c82..206f853fc 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-.PHONY: all mostlyclean clean install zip avail unavail bin lib doc samples
+.PHONY: all mostlyclean clean install zip avail unavail bin lib doc html info samples
 
 .SUFFIXES:
 
@@ -14,7 +14,7 @@ avail unavail bin:
 lib:
 	@$(MAKE) -C libsrc  --no-print-directory $@
 
-doc:
+doc html info:
 	@$(MAKE) -C doc     --no-print-directory $@
 
 samples: