From 00790e2b7c8eb3999449bcde10542fa98eb95b6f Mon Sep 17 00:00:00 2001
From: vsr <vsr@opencascade.com>
Date: Thu, 27 Nov 2008 13:08:02 +0000
Subject: [PATCH] Fix problem with devdocs generation

---
 doc/Makefile.am | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index fd88e1ee3..8af3bc4f7 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -27,3 +27,11 @@
 # source path
 #
 SUBDIRS= salome
+
+usr_docs:
+	(cd salome && $(MAKE) $(AM_MAKEFLAGS) usr_docs)
+
+docs: usr_docs
+
+dev_docs:
+	(cd salome && $(MAKE) $(AM_MAKEFLAGS) dev_docs)
-- 
2.39.2