diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-17 13:58:50 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-17 17:03:36 +0200 |
| commit | b09104aecf53fe261e8502d4cb2b5c5774dae063 (patch) | |
| tree | 9632b4bdc41fb1720e320ebe1af294564c945ce4 /configure.ac | |
| parent | 744d81b5acc5a9c729b6bef45499f97833e8b773 (diff) | |
manual gpl boilerplate + commands to compile the manual
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index e258b52e5..16eb445ab 100644 --- a/configure.ac +++ b/configure.ac @@ -450,6 +450,7 @@ AC_CHECK_FUNCS([strdup]) AC_CONFIG_FILES([Makefile doc/Makefile doc/doxygen/Makefile + doc/manual/Makefile src/Makefile src/auditor/Makefile src/auditordb/Makefile |