aboutsummaryrefslogtreecommitdiff
path: root/portal-gui/scripts/helper.in
AgeCommit message (Collapse)Author
2011-01-22integrate portal-gui into toplevel configure script; remove ↵Michael Elkins
$top/portal-gui/build.sh as a result remove helper script, and use @PYTHON@ configure variable to substitute instead rename django.wsgi => rpki.wsgi rename zrpki.conf => rpki.conf for apache configuration svn path=/configure; revision=3629
2010-07-12more copyright notice updates for $top/portal-gui/scripts/Michael Elkins
svn path=/portal-gui/scripts/helper.in; revision=3395
2010-07-08make configure output additional info about installation paths for debuggingMichael Elkins
automatically set the proper paths in django.wsgi use $INSTDIR for referring to installed portal-gui sources svn path=/portal-gui/Makefile.in; revision=3365
2010-07-07fix bug in helper scriptMichael Elkins
svn path=/portal-gui/scripts/helper.in; revision=3360
2010-07-07added configure script to ease installationMichael Elkins
svn path=/portal-gui/Makefile.in; revision=3357
generated by cgit v1.2.3 (git 2.25.1) at 2025-06-07 17:15:01 +0000