diff options
Diffstat (limited to 'ca')
| -rw-r--r-- | ca/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ca/Makefile.in b/ca/Makefile.in index 1a5e732a..70cce62e 100644 --- a/ca/Makefile.in +++ b/ca/Makefile.in @@ -35,6 +35,8 @@ WSGI_PYTHON_EGG_CACHE_USER = @WSGI_PYTHON_EGG_CACHE_USER@ CA_INSTALL_TARGETS = @CA_INSTALL_TARGETS@ +all:: examples/rpki.conf + clean:: cd tests; $(MAKE) $@ @@ -60,8 +62,6 @@ distclean:: clean cd tests; ${MAKE} $@ rm -f Makefile -all:: examples/rpki.conf - examples/rpki.conf: ${abs_top_srcdir}/rpki/autoconf.py rpki-confgen rpki-confgen.xml ${PYTHON} rpki-confgen \ --read-xml rpki-confgen.xml \ |