diff options
Diffstat (limited to 'doc/configure.ac')
-rw-r--r-- | doc/configure.ac | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/configure.ac b/doc/configure.ac index 1bff2b82d8..79b8393807 100644 --- a/doc/configure.ac +++ b/doc/configure.ac @@ -212,5 +212,6 @@ started_ada/Makefile relnotes/Makefile new_chapters/Makefile cpu_supplement/Makefile +shell/Makefile ]) AC_OUTPUT |