diff options
| -rw-r--r-- | doc/paper/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/paper/Makefile b/doc/paper/Makefile index 4c6be00..d94b535 100644 --- a/doc/paper/Makefile +++ b/doc/paper/Makefile @@ -181,7 +181,7 @@ gen_tex: $(SVGBOB_FILES) $(SVGBOB_FILES): %: $(SVGBOB_ALL_SOURCES) @$(ECHO) "\t[SVGBOB]\t$@\t$(GEN_DIR)/$@.svg" @$(SVGBOB) $(GEN_DIR)/$@.bob -o $(GEN_DIR)/$@.svg - @$(ECHO) "\t[INKSCAPE]\t$@.svg\t$(GEN_DIR)/$@.pdf" + @$(ECHO) "\t[INKSCAPE]\t$@.svg\t$(GEN_DIR)/$@.png" @$(INKSCAPEC) $(INKSCAPE_FLAGS) $(GEN_DIR)/$@.png $(GEN_DIR)/$@.svg 2> /dev/null |