projects / platform / upstream / libevdev.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c365d22) | patch
Avoid shipping generated documentation twice
authorStephen Kitt <skitt@debian.org>
Sun, 22 Sep 2013 17:34:24 +0000 (19:34 +0200)
committerPeter Hutterer <peter.hutterer@who-t.net>
Mon, 23 Sep 2013 18:21:17 +0000 (04:21 +1000)
commit92b03c9da1660ff125c49eb1c17121e077a8584e
tree13f0496264d52e939ffc03de5b2dcd1b15ff2474tree | snapshot
parentc365d22b7005dc1ccd65653d826d027201316047commit | 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>
doc/Makefile.am diff | blob | history
Domain: Graphics System / Input Management;