diff options
| author | Rob Austein <sra@hactrn.net> | 2013-11-27 19:57:43 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2013-11-27 19:57:43 +0000 |
| commit | 0df907016825281ba8df9176d3084ff8393811d5 (patch) | |
| tree | 5df55e3db48704f523c8b2f9998c1f9c8c504f73 /rpkid/portal-gui | |
| parent | f6e9809d43094d23da73e5b7edf8e50bacc846f2 (diff) | |
$top/rpkid/portal-gui/ no longer needs a Makefile. Closes #477.
svn path=/trunk/; revision=5606
Diffstat (limited to 'rpkid/portal-gui')
| -rw-r--r-- | rpkid/portal-gui/Makefile.in | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/rpkid/portal-gui/Makefile.in b/rpkid/portal-gui/Makefile.in deleted file mode 100644 index 0725f793..00000000 --- a/rpkid/portal-gui/Makefile.in +++ /dev/null @@ -1,40 +0,0 @@ -# $Id$ -# -# @configure_input@ - -abs_top_srcdir = @abs_top_srcdir@ -abs_top_builddir = @abs_top_builddir@ -srcdir=@srcdir@ -prefix=@prefix@ -exec_prefix=@exec_prefix@ -datarootdir=@datarootdir@ -datadir=@datadir@ -localstatedir=@localstatedir@ -sharedstatedir=@sharedstatedir@ -bindir=@bindir@ -sbindir=@sbindir@ -libexecdir=@libexecdir@ - -INSTALL = @INSTALL@ -WSGI_DAEMON_PROCESS=@WSGI_DAEMON_PROCESS@ -WSGI_PROCESS_GROUP=@WSGI_PROCESS_GROUP@ -RCYNIC_HTML_DIR=@RCYNIC_HTML_DIR@ - -INSTDIR=${DESTDIR}$(datarootdir)/rpki - -all: - @true - -clean: - @true - -distclean: clean - rm -f Makefile - -install: all - -deinstall uninstall: - rm -rf $(INSTDIR)/media $(INSTDIR)/wsgi - -test: - @true |