diff options
author | Hans-Peter Nilsson <hp@axis.com> | 2023-04-04 17:45:19 +0200 |
---|---|---|
committer | Hans-Peter Nilsson <hp@bitrange.com> | 2023-04-05 01:35:34 +0200 |
commit | 099515c7b7908a383b737648584b5b6627a13488 (patch) | |
tree | 6e133a71b91d5ed64bbeafb8a6e6b6c771a82d85 /gcc | |
parent | cd5dea63a67ccca09f086df98d11d141d0f86f01 (diff) | |
download | gcc-099515c7b7908a383b737648584b5b6627a13488.zip gcc-099515c7b7908a383b737648584b5b6627a13488.tar.gz gcc-099515c7b7908a383b737648584b5b6627a13488.tar.bz2 |
doc: md.texi (Including Patterns): Fix page break
The line-break in the example looked odd, even more so with
a page-break in the middle of it, due to recently added text
in preceding pages.
* doc/md.texi (Including Patterns): Fix page break.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/doc/md.texi | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/doc/md.texi b/gcc/doc/md.texi index 970af5e..07bf8bd 100644 --- a/gcc/doc/md.texi +++ b/gcc/doc/md.texi @@ -8963,8 +8963,7 @@ It looks like: @smallexample -(include - @var{pathname}) +(include @var{pathname}) @end smallexample For example: |