aboutsummaryrefslogtreecommitdiff
path: root/rpkid/portal-gui
diff options
context:
space:
mode:
Diffstat (limited to 'rpkid/portal-gui')
-rw-r--r--rpkid/portal-gui/Makefile.in2
-rw-r--r--rpkid/portal-gui/settings.py.in9
2 files changed, 8 insertions, 3 deletions
diff --git a/rpkid/portal-gui/Makefile.in b/rpkid/portal-gui/Makefile.in
index e1b8d41c..a453552b 100644
--- a/rpkid/portal-gui/Makefile.in
+++ b/rpkid/portal-gui/Makefile.in
@@ -42,6 +42,7 @@ apache.conf: $(srcdir)/apache.conf.in Makefile
install: $(BUILD)
if test -d $(SYSCONFDIR); then :; else ${INSTALL} -d $(SYSCONFDIR); fi
if test -d $(INSTDIR)/media/css; then :; else ${INSTALL} -d $(INSTDIR)/media/css; fi
+ if test -d $(INSTDIR)/media/img; then :; else ${INSTALL} -d $(INSTDIR)/media/img; fi
if test -d $(INSTDIR)/media/js; then :; else ${INSTALL} -d $(INSTDIR)/media/js; fi
if test -d $(INSTDIR)/wsgi; then :; else ${INSTALL} -d $(INSTDIR)/wsgi; fi
${INSTALL} -m 644 apache.conf $(SYSCONFDIR)/apache.conf
@@ -49,6 +50,7 @@ install: $(BUILD)
${INSTALL} -m 644 $(srcdir)/media/js/jquery-1.8.3.min.js $(INSTDIR)/media/js/jquery.min.js
${INSTALL} -m 644 rpki.wsgi $(INSTDIR)/wsgi/rpki.wsgi
${INSTALL} -m 644 settings.py ${SYSCONFDIR}
+ ${INSTALL} -m 644 -t $(INSTDIR)/media/img $(srcdir)/media/img/*
deinstall uninstall:
rm -rf $(INSTDIR)
diff --git a/rpkid/portal-gui/settings.py.in b/rpkid/portal-gui/settings.py.in
index b03ba284..0c939c28 100644
--- a/rpkid/portal-gui/settings.py.in
+++ b/rpkid/portal-gui/settings.py.in
@@ -1,6 +1,6 @@
#
# Sample Django settings.py for running the RPKI portal gui. This
-# template was written for Django 1.2.
+# template was written for Django 1.3.
#
# DO NOT EDIT! This file is automatically generated from
# settings.py.in
@@ -86,8 +86,8 @@ INSTALLED_APPS = (
#'django.contrib.admin',
#'django.contrib.admindocs',
'django.contrib.contenttypes',
- 'django.contrib.formtools',
'django.contrib.sessions',
+ 'django.contrib.staticfiles',
'rpki.irdb',
'rpki.gui.app',
'rpki.gui.cacheview',
@@ -102,5 +102,8 @@ TEMPLATE_CONTEXT_PROCESSORS = (
"django.core.context_processors.i18n",
"django.core.context_processors.media",
"django.contrib.messages.context_processors.messages",
- "django.core.context_processors.request"
+ "django.core.context_processors.request",
+ "django.core.context_processors.static"
)
+
+STATIC_URL = '/static/'