diff --git a/images/Make.gif b/images/Make.gif new file mode 100644 index 0000000..3f48c45 --- /dev/null +++ b/images/Make.gif Binary files differ diff --git a/images/Shell.gif b/images/Shell.gif new file mode 100644 index 0000000..a5669f0 --- /dev/null +++ b/images/Shell.gif Binary files differ diff --git a/make/README.md b/make/README.md index 1564859..35679dc 100644 --- a/make/README.md +++ b/make/README.md @@ -1,3 +1,7 @@ +--- +title: Make - UNIX +--- + # Make - UNIX GNU Make est un héritier de `make`, mais sous Linux, c'est bien GNU Make qui est @@ -8,11 +12,11 @@ Un shell fait tous les traitements qui y sont indiqués. -![Un shell fait tous les traitements qui y sont indiqués](../UnixShell_cours2018/Shell.gif) +![Un shell fait tous les traitements qui y sont indiqués](../images/Shell.gif) Un make ne fait que les traitements qui sont nécessaires. -![Un make ne fait que les traitements qui sont nécessaires](../UnixShell_cours2018/Make.gif) +![Un make ne fait que les traitements qui sont nécessaires](../images/Make.gif) ## Syntaxe