just run once

dlech · dlech · commit cd8ab141bff1 · 2016-09-30T14:07:10.000-05:00
diff --git a/docs/devtools/packaging-for-ev3dev.md b/docs/devtools/packaging-for-ev3dev.md
@@ -43,7 +43,7 @@ In a terminal, run...
 
 And the same info needs to be put into some environment variables. Paste the
 following to the end of `~/.bashrc`. You will need to start a new terminal
-or run run the same commands in the current terminal for these changes to take
+or run the same commands in the current terminal for these changes to take
 effect.
 
     export DEBFULLNAME="Your Name"
