Merge pull request #159 from cmsc430/ziggy

Ziggy

Author: dvanhorn

.github/workflows/push.yml

@@ -32,7 +32,7 @@ jobs:
     - name: Archive www
       uses: actions/upload-artifact@v2
       with:
-        name: www
+        name: github-pages
         path: www/main
   deploy:
     needs: build-and-test

www/software.scrbl

@@ -268,7 +268,7 @@ library.
 
 To install, run the following command:
 
-@verbatim|{raco pkg install 'https://github.com/cmsc430/www.git?path=langs#main'}|
+@verbatim|{raco pkg install --auto 'https://github.com/cmsc430/www.git?path=langs#main'}|
 
 To test the package works as expected, run: