@User: Thanks for the heads-up. I just updated the instructions with the obvious change of replacing

--with-sky130-source

with

--enable-sky130-pdk

. That may not be all that is needed to completely update the instructions, but it is the main one. I had previously updated the README file in the distribution but forgot to update the webside page.