diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2018-10-19 19:50:02 +0000 |
|---|---|---|
| committer | David Malcolm <dmalcolm@gcc.gnu.org> | 2018-10-19 19:50:02 +0000 |
| commit | 92646d25778952a1fd24fa9a6f407cd421606195 (patch) | |
| tree | 8f71613320dac04f2964783c9ea1675b39227969 /gcc/Makefile.in | |
| parent | 12d5ebf9630364515229268e48c04cffd069dd32 (diff) | |
| download | gcc-92646d25778952a1fd24fa9a6f407cd421606195.tar.gz | |
gccint.texi: add user experience guidelines
gcc/ChangeLog:
* Makefile.in (TEXI_GCCINT_FILES): Add ux.texi.
* doc/gccint.texi: Include ux.texi and use it in top-level menu.
* doc/ux.texi: New file.
From-SVN: r265322
Diffstat (limited to 'gcc/Makefile.in')
| -rw-r--r-- | gcc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/Makefile.in b/gcc/Makefile.in index 52240d17f3d..d2da9ff5f07 100644 --- a/gcc/Makefile.in +++ b/gcc/Makefile.in @@ -3134,7 +3134,7 @@ TEXI_GCCINT_FILES = gccint.texi gcc-common.texi gcc-vers.texi \ gnu.texi gpl_v3.texi fdl.texi contrib.texi languages.texi \ sourcebuild.texi gty.texi libgcc.texi cfg.texi tree-ssa.texi \ loop.texi generic.texi gimple.texi plugins.texi optinfo.texi \ - match-and-simplify.texi poly-int.texi + match-and-simplify.texi ux.texi poly-int.texi TEXI_GCCINSTALL_FILES = install.texi install-old.texi fdl.texi \ gcc-common.texi gcc-vers.texi |