From 372c4d7ab8216b19b14af0344a65a79037bf39b6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 28 Apr 2021 16:40:20 +0200
Subject: [PATCH] [ivette] document makefile targets

---
 ivette/CONTRIBUTING.md | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/ivette/CONTRIBUTING.md b/ivette/CONTRIBUTING.md
index dd6dc05bace..a46a8e338d9 100644
--- a/ivette/CONTRIBUTING.md
+++ b/ivette/CONTRIBUTING.md
@@ -1,3 +1,22 @@
+# Makefile Targets
+
+The most useful developmenent targets are:
+
+```
+$ make tsc   # run linter
+$ make dev   # run development version
+$ make app   # build production version
+$ make dist  # package the application
+$ make doc   # generate the documentation
+$ make api   # update the frama-c server API
+```
+
+Additional makefile targets and environment variables are listed by:
+
+```
+$ make dome-help
+```
+
 # Emacs Configuration
 
 Emacs mode configuration can be setup with Typescript, Web-mode and Tide packages.
-- 
GitLab