diff --git a/doc/devel/Makefile.am b/doc/devel/Makefile.am index 2648dcd451..fa69b683f9 100644 --- a/doc/devel/Makefile.am +++ b/doc/devel/Makefile.am @@ -42,3 +42,11 @@ devel: clean-local: rm -rf html + +if HAVE_PLANTUML +.uml.png: + @PLANTUML@ $< + +.uml.svg: + @PLANTUML@ -svg $< +endif