diff options
| -rwxr-xr-x | portal-gui/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/portal-gui/build.sh b/portal-gui/build.sh index 7591d45e..4e86f2ec 100755 --- a/portal-gui/build.sh +++ b/portal-gui/build.sh @@ -34,7 +34,7 @@ CONFDIR=/usr/local/etc/rpki # This is the directory containing the myrpki.py command line script. You # can either install it somewhere on your system, or just run it out of # wherever you checked out from the svn repo -MYRPKI_SOURCE_DIR=/usr/local/src/subvert-rpki.hactrn.net/rpkid +MYRPKI_SOURCE_DIR=/usr/local/src/net/subvert-rpki.hactrn.net/rpkid # The user that the apache process is run as. This is required to set # permissions on the directories/files that the portal-gui needs to be able to |