projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12d5ebf) | patch
gccint.texi: add user experience guidelines
authorDavid Malcolm <dmalcolm@redhat.com>
Fri, 19 Oct 2018 19:50:02 +0000 (19:50 +0000)
committerDavid Malcolm <dmalcolm@gcc.gnu.org>
Fri, 19 Oct 2018 19:50:02 +0000 (19:50 +0000)
commit92646d25778952a1fd24fa9a6f407cd421606195
tree8f71613320dac04f2964783c9ea1675b39227969tree
parent12d5ebf9630364515229268e48c04cffd069dd32commit | diff
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
gcc/ChangeLog diff | blob | history
gcc/Makefile.in diff | blob | history
gcc/doc/gccint.texi diff | blob | history
gcc/doc/ux.texi [new file with mode: 0644] blob