diff options
| author | Lukas Larsson <[email protected]> | 2017-10-27 14:46:21 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2017-10-27 14:46:21 +0200 |
| commit | 40c19a6674b9034a35f1d0e5540fa755cfd54b7c (patch) | |
| tree | 8e3b056f1e9a0e1cf87f61900927d338e60905f6 /erts/emulator/internal_doc/figures/Makefile | |
| parent | 1f34276d88c1bbbff29fbd0e38210608e17cc0be (diff) | |
| parent | bb52a55b25e54ea362ab98c6306f1371d6a76104 (diff) | |
| download | otp-40c19a6674b9034a35f1d0e5540fa755cfd54b7c.tar.gz otp-40c19a6674b9034a35f1d0e5540fa755cfd54b7c.tar.bz2 otp-40c19a6674b9034a35f1d0e5540fa755cfd54b7c.zip | |
Merge branch 'lukas/erts/gc-docs'
* lukas/erts/gc-docs:
erts: Add Garbage Collection internal docs
Diffstat (limited to 'erts/emulator/internal_doc/figures/Makefile')
| -rw-r--r-- | erts/emulator/internal_doc/figures/Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/erts/emulator/internal_doc/figures/Makefile b/erts/emulator/internal_doc/figures/Makefile new file mode 100644 index 0000000000..111cb393fb --- /dev/null +++ b/erts/emulator/internal_doc/figures/Makefile @@ -0,0 +1,20 @@ +# In order to update the figures you have to have both dia +# and imagemagick installed. + +DIAGRAMS=$(wildcard *.dia) +EPS_DIAGRAMS=$(patsubst %.dia,%.eps,$(DIAGRAMS)) +PNG_DIAGRAMS=$(patsubst %.dia,%.png,$(DIAGRAMS)) + +diagrams: $(EPS_DIAGRAMS) + +png: $(PNG_DIAGRAMS) + +update_png: png + git add $(PNG_DIAGRAMS) + git commit -m "Update internal docs figures" + +%.eps: %.dia + dia --export=$@ $< + +%.png: %.eps + convert $< -resize 65% $@ |