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/omp-low.c | |
parent | 12d5ebf9630364515229268e48c04cffd069dd32 (diff) | |
download | gcc-92646d25778952a1fd24fa9a6f407cd421606195.zip gcc-92646d25778952a1fd24fa9a6f407cd421606195.tar.gz gcc-92646d25778952a1fd24fa9a6f407cd421606195.tar.bz2 |
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/omp-low.c')
0 files changed, 0 insertions, 0 deletions