tree 295c63c0d66831085ffe764742a6759432bb864e
parent 8a4b160773dea3b76e0d75d75d623c3275d6967e
author Tim Edwards <tim@opencircuitdesign.com> 1629487452 -0400
committer Tim Edwards <tim@opencircuitdesign.com> 1629487452 -0400

Removed the default prefix of /usr, which makes the default prefix
/usr/local.  This breaks backwards compatibility with various
documentation, videos, etc., but conforms with standard Linux
practices, however misguided they may be.  Once the open_pdks
Sky130 distribution becomes a package (which is inevitable, given
how long the installation takes), then the documented /usr/share/
will be correct anyway.