diff options
Diffstat (limited to 'doc/man/Makefile.am')
-rw-r--r-- | doc/man/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am index b3ea1c44e..82cdfc06b 100644 --- a/doc/man/Makefile.am +++ b/doc/man/Makefile.am | |||
@@ -33,6 +33,8 @@ htmldocdir = $(datadir)/doc/gnunet/manhtml/ | |||
33 | man-html-install: | 33 | man-html-install: |
34 | @mkdir -p $(htmldocdir) | 34 | @mkdir -p $(htmldocdir) |
35 | @mv $(srcdir)/*.html $(htmldocdir) | 35 | @mv $(srcdir)/*.html $(htmldocdir) |
36 | man-html-uninstall: | ||
37 | @rm $(htmldocdir)/*.html | ||
36 | 38 | ||
37 | CLEANFILES += *.html | 39 | CLEANFILES += *.html |
38 | endif | 40 | endif |