diff options
Diffstat (limited to 'h')
| -rw-r--r-- | h/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/h/Makefile.in b/h/Makefile.in index d976661b..6202d6d7 100644 --- a/h/Makefile.in +++ b/h/Makefile.in @@ -17,7 +17,7 @@ rpki/sk_roa.h: rpki/roa.h clean: rm -f *.h.tmp -test install deinstall uninstall: +test install deinstall uninstall installation-manifest: @true distclean: clean |