Browse Source

[3006] Fail make if tools are not found during "make devel"

Mukund Sivaraman 12 years ago
parent
commit
f1c399008d
1 changed files with 2 additions and 6 deletions
  1. 2 6
      doc/design/datasrc/Makefile.am

+ 2 - 6
doc/design/datasrc/Makefile.am

@@ -14,18 +14,14 @@ devel:	$(UML_FILES:.txt=.png) $(TEXT_FILES:.txt=.html)
 if HAVE_ASCIIDOC
 	$(AM_V_GEN) $(ASCIIDOC) -n $<
 else
-	@echo "*** asciidoc is required to regenerate $(@); creating dummy ***";
-	@echo "<html><body><p>" > $@
-	@echo "Dummy document. Install asciidoc to correctly generate this file." >> $@
-	@echo "</p></body></html>" >> $@
+	@echo "*** asciidoc is required to regenerate $(@) ***"; exit 1;
 endif
 
 .txt.png:
 if HAVE_PLANTUML
 	$(AM_V_GEN) $(PLANTUML) $<
 else
-	@echo "*** plantuml is required to regenerate $(@); creating dummy ***";
-	@echo "Dummy image. Install plantuml to correctly generate this file." > $@
+	@echo "*** plantuml is required to regenerate $(@) ***"; exit 1;
 endif
 
 CLEANFILES = \