diff options
Diffstat (limited to 'rpkid/Makefile.in')
| -rw-r--r-- | rpkid/Makefile.in | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/rpkid/Makefile.in b/rpkid/Makefile.in index bdca9105..90c6b7ac 100644 --- a/rpkid/Makefile.in +++ b/rpkid/Makefile.in @@ -1,7 +1,5 @@ # $Id$ -SUBDIRS = portal-gui - PYTHON = @PYTHON@ TRANG = @TRANG@ @@ -168,9 +166,6 @@ distclean:: clean docclean cd tests; ${MAKE} $@ rm -f TAGS Makefile -all install clean test distclean deinstall uninstall:: - @for i in ${SUBDIRS}; do echo "Making $@ in $$i"; (cd $$i && ${MAKE} $@); done - all:: examples/rpki.conf examples/rpki.conf: rpki/autoconf.py rpki-confgen rpki-confgen.xml |