summaryrefslogtreecommitdiff
path: root/Source/UnitTests
diff options
context:
space:
mode:
authorGravatar Dan Liew <daniel.liew@imperial.ac.uk>2015-01-29 16:24:06 +0000
committerGravatar Dan Liew <daniel.liew@imperial.ac.uk>2015-01-29 16:24:06 +0000
commit5104f0fff3328633ab8c595f34813caf5acfd20d (patch)
tree23a07b41841e350ebc8be325b4605a4355487d7b /Source/UnitTests
parentbe425ff3e7aca4642e854ef5de6a7abc66ae1f0b (diff)
Tweak the unit test documentation on Visual studio.
Diffstat (limited to 'Source/UnitTests')
-rw-r--r--Source/UnitTests/README.md17
1 files changed, 4 insertions, 13 deletions
diff --git a/Source/UnitTests/README.md b/Source/UnitTests/README.md
index ea03f18e..526ccdfd 100644
--- a/Source/UnitTests/README.md
+++ b/Source/UnitTests/README.md
@@ -24,21 +24,12 @@ Visual Studio
-------------
Visual Studio should automatically download the missing NuGet packages
-when the solution is built.
+when the solution is built. If this doesn't work make sure the
+``Allow NuGet to download missing packages`` checkbox is ticked in
+``TOOLS > NuGet Package Manager > Package Manager Settings``.
If for some reason this does not work right click the Boogie Solution in the
-Solution Explorer and click ``Enable NuGet Package Restore``. You will get a
-prompt saying
-
-```
-NuGet Package Manager
-
-Do you want to configure this solution to download and restore
-missing NuGet packages during build?
-```
-
-Press the ``Yes`` button. Now build the solution and NuGet will fetch
-the missing NuGet packages.
+Solution Explorer and click ``Enable NuGet Package Restore``.
Monodevelop
-----------