Corrected the top-level Makefile to add "/share" after the prefix, so
that the open_pdks scripts go in ${prefix}/share/pdk/bin/ as they are
expected to, while the SkyWater PDK goes in ${prefix}/share/pdk/sky130A/.
Changed the instructions in docs.txt so that the distributed install
works as advertized (swapped the definitions suggested for prefix and
DESTDIR).
diff --git a/docs.txt b/docs.txt
index 13b2c71..0b1345f 100644
--- a/docs.txt
+++ b/docs.txt
@@ -167,15 +167,14 @@
 
     Packagers and administrators that want to create a directory which
     is destined to be installed on other machines should set`--prefix`
-    to be the final install location and use `DESTDIR` with
-    `make install` to the directory where the files should be staged,
-    see the following example:
+    to be the directory where the files should be staged, and use
+    `DESTDIR` with `make install` to the final install location.
+    See the following example:
 
-        ./configure --prefix=/usr
+        ./configure --prefix=/tmp/package
 	make
-	# Need to use sudo so the file ends up with the right
-	# permissions.
-	sudo make DESTDIR=/tmp/package
+	# Need to use sudo so the file ends up with the right permissions.
+	sudo make DESTDIR=/usr install
 	(cd /tmp/package; tar -cvf ../dist.tar)
 
     Then on the final install machine you would want to do: