diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2021-01-02 20:28:35 +0100 |
---|---|---|
committer | Matthias Beyer <mail@beyermatthias.de> | 2021-01-02 20:28:35 +0100 |
commit | 9eeb524ab19c647321ca8914a514d74706579a67 (patch) | |
tree | f44b72638cefe3de13a68d450313f389c29515b9 | |
parent | ef88205eaa2a58be548954a0b505fb5facb83e05 (diff) |
Fix typo
-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 |