diff options
Diffstat (limited to 'doc/texi/Building.linux.texi')
| -rw-r--r-- | doc/texi/Building.linux.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/texi/Building.linux.texi b/doc/texi/Building.linux.texi index 0e89a2277..aac1c266d 100644 --- a/doc/texi/Building.linux.texi +++ b/doc/texi/Building.linux.texi @@ -98,4 +98,6 @@ gstreamer-devel gstreamer-plugins-base-devel @chapter Overview @value{OS.linux} builds are performed from a @b{terminal}. There is no support for building from any IDEs. +@c %**------------------------------------------------------------------------- @include building/chapter.via.terminal.texi +@include building/appendix.repo.texi |