Module: xenomai-2.6
Branch: master
Commit: c3411937f5c5abddb2fffca2c79d0966c8395234
URL:
http://git.xenomai.org/?p=xenomai-2.6.git;a=commit;h=c3411937f5c5abddb2fffca2c79d0966c8395234
Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date: Thu Jul 7 12:35:38 2016 +0200
doc: fix generate-doc script after removal of docbook documentation
---
scripts/maint/generate-doc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/maint/generate-doc b/scripts/maint/generate-doc
index 4253cce..07032d1 100755
--- a/scripts/maint/generate-doc
+++ b/scripts/maint/generate-doc
@@ -11,7 +11,7 @@ die()
progname=`basename $0`
-if ! [ -f docbook/catalog -a -d "$srcdir/generated" ]; then
+if ! [ -f asciidoc/Makefile -a -d "$srcdir/generated" ]; then
die $progname must be run from the doc sub-directory of the build \
tree and passed a correct srcdir variable.
fi
_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
https://xenomai.org/mailman/listinfo/xenomai-git
