diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-10-20 16:16:46 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-10-20 16:16:46 +0200 |
| commit | 217c2d383b4c6c57de335e55e3b4943601ddc9be (patch) | |
| tree | 1e211fa71b1a6cca619d74ebc74745d594e2ef69 /Makefile.am | |
| parent | 28542396565a8c3feb9b8a34be68410373022b6e (diff) | |
Configuring/Compiling texinfo documentaion, + manual stub.
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 4081e575..101b5c48 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,6 +1,10 @@ # This Makefile is in the public domain SUBDIRS = src copylib examples +if WITH_DOC + SUBDIRS += doc +endif + ACLOCAL_AMFLAGS = -I m4 EXTRA_DIST = AUTHORS COPYING.GPL COPYING.AGPL COPYING.LGPL |