From 1cc0535feee58a4e6a917872ab46ef4def3b186b Mon Sep 17 00:00:00 2001
From: Sankalp Gambhir <sankalp.gambhir47@gmail.com>
Date: Wed, 9 Aug 2023 10:28:43 +0200
Subject: [PATCH] Fix `portfolio` command

---
 usage.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/usage.html b/usage.html
index 2989403..d81ec8c 100644
--- a/usage.html
+++ b/usage.html
@@ -55,7 +55,7 @@ <h2>Basic Usage</h2>
 <p>
 Note that all of these competition modes are really shortcuts for other combinations e.g. casc mode is a shortcut for
 <code>
-vampire --mode portflio --schedule casc -t 300s -p tptp
+vampire --mode portfolio --schedule casc -t 300s -p tptp
 </code>
 
 <h2>Options and More Advanced Usage</h2>