diff options
Diffstat (limited to 'system/doc/pics')
| -rw-r--r-- | system/doc/pics/Makefile | 58 | ||||
| -rw-r--r-- | system/doc/pics/app.gif | bin | 0 -> 285 bytes | |||
| -rw-r--r-- | system/doc/pics/ede.gif | bin | 0 -> 13644 bytes | |||
| -rw-r--r-- | system/doc/pics/ede_logo.gif | bin | 0 -> 757 bytes | |||
| -rw-r--r-- | system/doc/pics/min_head.gif | bin | 0 -> 2652 bytes | |||
| -rw-r--r-- | system/doc/pics/notes.gif | bin | 0 -> 2005 bytes | |||
| -rw-r--r-- | system/doc/pics/otp.gif | bin | 0 -> 13737 bytes | |||
| -rw-r--r-- | system/doc/pics/otp_logo.gif | bin | 0 -> 1660 bytes | |||
| -rw-r--r-- | system/doc/pics/ps.gif | bin | 0 -> 618 bytes | |||
| -rw-r--r-- | system/doc/pics/ref_man.gif | bin | 0 -> 1530 bytes | |||
| -rw-r--r-- | system/doc/pics/user_guide.gif | bin | 0 -> 1581 bytes |
11 files changed, 58 insertions, 0 deletions
diff --git a/system/doc/pics/Makefile b/system/doc/pics/Makefile new file mode 100644 index 0000000000..fc5996259d --- /dev/null +++ b/system/doc/pics/Makefile @@ -0,0 +1,58 @@ +# +# Copyright (C) 1996,1997 Ericsson Telecommunications +# Author: Lars Thorsen +# +include $(ERL_TOP)/make/target.mk +include $(ERL_TOP)/make/$(TARGET)/otp.mk + +# ---------------------------------------------------- +# Release directory specification +# ---------------------------------------------------- +RELSYSDIR = $(RELEASE_PATH)/doc + +# ---------------------------------------------------- +# Target Specs +# ---------------------------------------------------- +# +# Common macros +# + +GIF_FILES= \ + min_head.gif \ + ps.gif + +# ---------------------------------------------------- +# Target Specs +# ---------------------------------------------------- + +docs: + +pdf: + +ps: + +debug opt: + + + +clean: + @echo "No action" >/dev/null + +# +# Release Targets +# +include $(ERL_TOP)/make/otp_release_targets.mk + +ifeq ($(DOCTYPE),pdf) +release_docs_spec: pdf +else +ifeq ($(DOCTYPE),ps) +release_docs_spec: ps +else +release_docs_spec: docs + $(INSTALL_DIR) $(RELSYSDIR)/pics + $(INSTALL_DATA) $(GIF_FILES) $(RELSYSDIR)/pics +endif +endif + +release_spec: diff --git a/system/doc/pics/app.gif b/system/doc/pics/app.gif Binary files differnew file mode 100644 index 0000000000..345d5795b1 --- /dev/null +++ b/system/doc/pics/app.gif diff --git a/system/doc/pics/ede.gif b/system/doc/pics/ede.gif Binary files differnew file mode 100644 index 0000000000..7a51766898 --- /dev/null +++ b/system/doc/pics/ede.gif diff --git a/system/doc/pics/ede_logo.gif b/system/doc/pics/ede_logo.gif Binary files differnew file mode 100644 index 0000000000..f7c902791b --- /dev/null +++ b/system/doc/pics/ede_logo.gif diff --git a/system/doc/pics/min_head.gif b/system/doc/pics/min_head.gif Binary files differnew file mode 100644 index 0000000000..67948a6378 --- /dev/null +++ b/system/doc/pics/min_head.gif diff --git a/system/doc/pics/notes.gif b/system/doc/pics/notes.gif Binary files differnew file mode 100644 index 0000000000..e000cca26a --- /dev/null +++ b/system/doc/pics/notes.gif diff --git a/system/doc/pics/otp.gif b/system/doc/pics/otp.gif Binary files differnew file mode 100644 index 0000000000..48c4ca9c02 --- /dev/null +++ b/system/doc/pics/otp.gif diff --git a/system/doc/pics/otp_logo.gif b/system/doc/pics/otp_logo.gif Binary files differnew file mode 100644 index 0000000000..d1a1f7f72d --- /dev/null +++ b/system/doc/pics/otp_logo.gif diff --git a/system/doc/pics/ps.gif b/system/doc/pics/ps.gif Binary files differnew file mode 100644 index 0000000000..186dfc7e24 --- /dev/null +++ b/system/doc/pics/ps.gif diff --git a/system/doc/pics/ref_man.gif b/system/doc/pics/ref_man.gif Binary files differnew file mode 100644 index 0000000000..b13c4efd53 --- /dev/null +++ b/system/doc/pics/ref_man.gif diff --git a/system/doc/pics/user_guide.gif b/system/doc/pics/user_guide.gif Binary files differnew file mode 100644 index 0000000000..e6275a803d --- /dev/null +++ b/system/doc/pics/user_guide.gif |
