diff options
| author | Igor Pashev <pashev.igor@gmail.com> | 2019-11-18 15:53:29 +0300 |
|---|---|---|
| committer | Igor Pashev <pashev.igor@gmail.com> | 2019-11-18 15:53:29 +0300 |
| commit | 8f6c4b0033c72f8ac14694c419a99458339dd6a9 (patch) | |
| tree | 06c106e622a58100aa85a381b9b65d222b076df4 /debian/patches/gdc-texinfo.diff | |
| parent | 42156b5190f4fa150e1fab6777eb81e69d4db8c9 (diff) | |
| download | gcc-9-debian.tar.gz | |
Import gcc-9 (9.2.1-19)debian/9.2.1-19debian
Diffstat (limited to 'debian/patches/gdc-texinfo.diff')
| -rw-r--r-- | debian/patches/gdc-texinfo.diff | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/debian/patches/gdc-texinfo.diff b/debian/patches/gdc-texinfo.diff index a925e8d..bf99a04 100644 --- a/debian/patches/gdc-texinfo.diff +++ b/debian/patches/gdc-texinfo.diff @@ -1,7 +1,5 @@ # DP: Add macros for the gdc texinfo documentation. -Index: b/src/gcc/d/gdc.texi -=================================================================== --- a/src/gcc/d/gdc.texi +++ b/src/gcc/d/gdc.texi @@ -43,6 +43,22 @@ man page gfdl(7). @@ -27,9 +25,9 @@ Index: b/src/gcc/d/gdc.texi @titlepage @title The GNU D Compiler @versionsubtitle -@@ -138,6 +154,25 @@ remainder. - - @c man end +@@ -124,6 +140,25 @@ This manual only documents the options s + * Developer Options:: Options useful for developers of gdc + @end menu +@macro gcctabopt{body} +@code{\body\} @@ -50,6 +48,6 @@ Index: b/src/gcc/d/gdc.texi +@end macro +@end ifnottex + - @c man begin OPTIONS gdc + @c man begin OPTIONS - @table @gcctabopt + @node Input and Output files |