docs: add interactive vs batch distinction to UX guidelines
authorDavid Malcolm <dmalcolm@redhat.com>
Wed, 10 Mar 2021 13:49:29 +0000 (08:49 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 10 Mar 2021 13:49:29 +0000 (08:49 -0500)
commitc4a36bb1e1be0b826e71f4723c9f66266aa86b6f
tree8b8903f98de848ce41ca7fb3ad922411c9024380
parent3fbac260fc7860a97fd00a54ca955266d737925f
docs: add interactive vs batch distinction to UX guidelines

gcc/ChangeLog:
* doc/ux.texi: Add subsection contrasting interactive versus
batch usage of GCC.
gcc/doc/ux.texi