maint: factor out the name of the dir where web manuals are generated
authorStefano Lattarini <stefano.lattarini@gmail.com>
Thu, 13 Dec 2012 11:09:32 +0000 (12:09 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Thu, 13 Dec 2012 19:18:10 +0000 (20:18 +0100)
commitf22f41c10e03a59b8db25d536be209a48cbd7f61
treee25509b1bfc932eb38a5ecfa3cb1b983bc3b2351
parentaf431631cc9db8b5426308d44fc2773afca5816c
maint: factor out the name of the dir where web manuals are generated

Just a minor refactoring to reduce duplication; no semantic change is
intended.

* Makefile.am (web_manual_dir): New.
(web-manual, web-manual-update, clean-web-manual): Use it.

Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>
Makefile.am