From 39300a0342bb954a22cb3713ab8cf0ec90c3dbb3 Mon Sep 17 00:00:00 2001 From: vsr Date: Wed, 25 May 2011 07:29:08 +0000 Subject: [PATCH] Fix pb of dev_docs --- doc/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index bef14657c..4ad4fef01 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -30,4 +30,4 @@ usr_docs: docs: usr_docs dev_docs: - (cd docutils && $(MAKE) $(AM_MAKEFLAGS) dev_docs) + (cd salome && $(MAKE) $(AM_MAKEFLAGS) dev_docs) -- 2.30.2