diff options
Diffstat (limited to 'doc/texi/building/chapter.overview.texi')
| -rw-r--r-- | doc/texi/building/chapter.overview.texi | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/doc/texi/building/chapter.overview.texi b/doc/texi/building/chapter.overview.texi deleted file mode 100644 index 29dec0394..000000000 --- a/doc/texi/building/chapter.overview.texi +++ /dev/null @@ -1,21 +0,0 @@ -@anchor{overview} -@chapter Build Overview -The build system has several - -This chapter is for building from a terminal/shell environment in as few commands as possible. If more flexibility is required you should skip this chapter and jump to @ref{process}. - -@example -./configure --launch -@end example - -The special option @command{--launch} selected launch mode and performs the following steps: - -@itemize -@item assert scratch directory @file{build/} does not exist -@item create scratch directory @file{build/} -@item change to directory @file{build/} -@item launch @command{make} -@item capture build output to @file{build/log.txt} -@item echo build output -@end itemize |