From 9f8ffd7696bece1b760cf12f67b2d87fc981db29 Mon Sep 17 00:00:00 2001
From: gustavoromero <gustavoromero>
Date: Mon, 6 Nov 2000 11:34:38 +0000
Subject: [PATCH] adding target doc

---
 eo/Makefile.am | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/eo/Makefile.am b/eo/Makefile.am
index a65d4c9c..6d28ae14 100644
--- a/eo/Makefile.am
+++ b/eo/Makefile.am
@@ -20,4 +20,7 @@ all:
 clean:
 	for i in $(SUBDIRS); do pushd $$i && $(MAKE) clean; popd; done
 
+doc:
+	pushd doc; $(MAKE) doc; popd
+
 ###############################################################################
\ No newline at end of file