From 434f98907dd9dca88e8ef0cf17dce836540a415a Mon Sep 17 00:00:00 2001
From: Johann Ostmeyer <ostmeyer@hiskp.uni-bonn.de>
Date: Tue, 3 Aug 2021 18:33:01 +0200
Subject: [PATCH] added vanilla option for clean installation

---
 document | 2 +-
 install  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/document b/document
index 2591be7d4..a3ce347a5 100755
--- a/document
+++ b/document
@@ -14,4 +14,4 @@ if ! [[ -f NAMESPACE ]]; then
   echo '# Generated by roxygen2: do not edit by hand' > NAMESPACE
 fi
 
-Rscript -e "devtools::document()"
+Rscript --vanilla -e "devtools::document()"
diff --git a/install b/install
index f68819b22..8b54f9357 100755
--- a/install
+++ b/install
@@ -4,4 +4,4 @@ set -e
 set -u
 
 ./document
-R CMD INSTALL .
+R --vanilla CMD INSTALL .