diff options
| author | Lukas Larsson <[email protected]> | 2017-10-27 10:29:47 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2017-10-27 14:45:09 +0200 |
| commit | bb52a55b25e54ea362ab98c6306f1371d6a76104 (patch) | |
| tree | 38de4289bc0a73eed72719f7c80d16ce7f24135d /erts/emulator/internal_doc/figures/Makefile | |
| parent | f75fa8129fcd18fc56407778960252e6c10a3a37 (diff) | |
| download | otp-bb52a55b25e54ea362ab98c6306f1371d6a76104.tar.gz otp-bb52a55b25e54ea362ab98c6306f1371d6a76104.tar.bz2 otp-bb52a55b25e54ea362ab98c6306f1371d6a76104.zip | |
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% $@ |