Option to update latest

thierry-tct · Jun 29, 2022 · 82e2fec · 82e2fec
1 parent 0e8c125
commit 82e2fec
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -1,4 +1,5 @@
 # sudo docker build --no-cache -t thierrytct/mart:llvm-9.0.0 . --build-arg llvm_version=9.0.0 && sudo docker push thierrytct/mart:llvm-9.0.0
+# sudo docker image tag thierrytct/mart:llvm-9.0.0 thierrytct/mart:latest && sudo docker push thierrytct/mart:latest
 
 #ARG llvm_version=3.8.1
 ARG llvm_version=3.4.2

diff --git a/README.md b/README.md
@@ -145,6 +145,8 @@ This is done using the option: `-mutant-config <path./to/mutant config file>`
 
 Find the details about the format and language to specify the configuration [here](docs/mutation_configuration.md). 
 
+Source code doxygen documentation is available [here](https://thierry-tct.github.io/mart/).
+
 ---
 
 ## TODO