diff options
| author | Rob Austein <sra@hactrn.net> | 2013-04-06 20:45:17 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2013-04-06 20:45:17 +0000 |
| commit | c7fc68f773267a2ee07ca815f72e207a72f32fd8 (patch) | |
| tree | 741aed5cfdc36577a055c708211fd1070c2bc8fd /rpkid/portal-gui | |
| parent | ee4d2c18a53d627b3aa261d907cc055ec323377d (diff) | |
Move installation of portal-gui data files into setup.py.
svn path=/trunk/; revision=5289
Diffstat (limited to 'rpkid/portal-gui')
| -rw-r--r-- | rpkid/portal-gui/Makefile.in | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/rpkid/portal-gui/Makefile.in b/rpkid/portal-gui/Makefile.in index 53e7f0c8..ba206f5c 100644 --- a/rpkid/portal-gui/Makefile.in +++ b/rpkid/portal-gui/Makefile.in @@ -44,17 +44,6 @@ apache.conf: $(srcdir)/apache.conf.in Makefile $(edit) $@.in > $@ install: all - if test -d $(INSTDIR)/wsgi; then :; else ${INSTALL} -d $(INSTDIR)/wsgi; fi - if test -d $(INSTDIR)/media; then :; else ${INSTALL} -d $(INSTDIR)/media; 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 - ${INSTALL} -m 644 rpki.wsgi $(INSTDIR)/wsgi/rpki.wsgi - # this would be better handled with "django-admin collectstatic" but makes the install - # process harder for the end user. - ${INSTALL} -m 644 $(srcdir)/../rpki/gui/app/static/css/* $(INSTDIR)/media/css - ${INSTALL} -m 644 $(srcdir)/../rpki/gui/app/static/js/* $(INSTDIR)/media/js - ${INSTALL} -m 644 $(srcdir)/../rpki/gui/app/static/img/* $(INSTDIR)/media/img deinstall uninstall: rm -rf $(INSTDIR)/media $(INSTDIR)/wsgi |