From b4b8d2eb0538e882b228dd17052848e8a47fbfe2 Mon Sep 17 00:00:00 2001 From: Joel Sherrill Date: Mon, 19 Apr 1999 22:34:30 +0000 Subject: Added FAQ to the documentation set. --- doc/do_docs | 17 +++++------------ 1 file changed, 5 insertions(+), 12 deletions(-) (limited to 'doc/do_docs') diff --git a/doc/do_docs b/doc/do_docs index 1984361993..792c5b643a 100755 --- a/doc/do_docs +++ b/doc/do_docs @@ -10,16 +10,12 @@ shift supplements="supplements/hppa1_1 supplements/i386 \ supplements/i960 supplements/m68k supplements/sparc supplements/powerpc" -# Division by access level -public_docs="user develenv networking posix_users started started_ada rtems_gdb" -support_docs="${supplements} bsp_howto" -partners_docs="posix1003.1 posix1003.1h" -oar_manuals="ada_user hwapi tools/texi2www \ - browseable_rtems new_chapters" - # relnotes is obsolete -# posix_users manual left out until finished -# ada_user manual left out until bindings released + +# Division by access level +public_docs="FAQ user develenv networking posix_users started started_ada \ + rtems_gdb rgdb_specs" +support_docs="${supplements} bsp_howto ada_user posix1003.1" if [ x${MANUAL_SET} = x ] ; then MANUAL_SET=public @@ -35,9 +31,6 @@ case ${MANUAL_SET} in partners) manuals="$public_docs $support_docs $partners_docs" ;; - internal) - manuals="$public_docs $support_docs $partners_docs $oar_manuals" - ;; *) echo "ERROR: Unknown manual set ${MANUAL_SET}" exit 1 -- cgit v1.2.3