Add `--without-doc' option to not install documentation files.
commit6076a72f7b066250a2dd5604a01576ab9e0fe765
authorWerner Lemberg <wl@gnu.org>
Tue, 1 May 2012 13:19:56 +0000 (1 15:19 +0200)
committerWerner Lemberg <wl@gnu.org>
Tue, 1 May 2012 13:19:56 +0000 (1 15:19 +0200)
tree417a201558c74d697d7e654bb0121bc0e2e8f2a9
parentdce1c6873948beebd2be5ec2c0c70a495d400228
Add `--without-doc' option to not install documentation files.
configure.ac
doc/Makefile.am
frontend/Makefile.am