diff options
| author | Stephen Kitt <skitt@debian.org> | 2013-09-22 19:34:24 +0200 |
|---|---|---|
| committer | Peter Hutterer <peter.hutterer@who-t.net> | 2013-09-24 04:21:17 +1000 |
| commit | 92b03c9da1660ff125c49eb1c17121e077a8584e (patch) | |
| tree | 13f0496264d52e939ffc03de5b2dcd1b15ff2474 | |
| parent | c365d22b7005dc1ccd65653d826d027201316047 (diff) | |
Avoid shipping generated documentation twice
Only add files to EXTRA_DIST, to avoid having a full copy of doc/html as
doc/html/html in the distributed tarball.
Signed-off-by: Stephen Kitt <skitt@debian.org>
Reviewed-by: Peter Hutterer <peter.hutterer@who-t.net>
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 3fbd0ed..53b2069 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -9,7 +9,7 @@ clean-local: .PHONY: doxygen -doc_src= $(shell find html -name "*" -printf "html/%P\n") +doc_src= $(shell find html -type f -printf "html/%P\n") EXTRA_DIST = $(doc_src) libevdev.doxygen libevdev.css endif |