diff options
Diffstat (limited to 'doc')
-rwxr-xr-x | doc/do_docs | 17 | ||||
-rw-r--r-- | doc/index.html | 2 | ||||
-rw-r--r-- | doc/rtems_support.html | 2 |
3 files changed, 9 insertions, 12 deletions
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 diff --git a/doc/index.html b/doc/index.html index 3f04ef7128..e122402861 100644 --- a/doc/index.html +++ b/doc/index.html @@ -7,6 +7,8 @@ <HR> <BODY> <MENU> + <LI><A HREF="FAQ/index.html"> + RTEMS FAQ</A> <LI><A HREF="c_user/index.html"> RTEMS Applications C User's Guide</A> <LI><A HREF="started/index.html"> diff --git a/doc/rtems_support.html b/doc/rtems_support.html index da37bc8030..237f8ec060 100644 --- a/doc/rtems_support.html +++ b/doc/rtems_support.html @@ -7,6 +7,8 @@ <HR> <BODY> <MENU> + <LI><A HREF="FAQ/index.html"> + RTEMS FAQ</A> <LI><A HREF="c_user/index.html"> RTEMS Applications C User's Guide</A> <LI><A HREF="started/index.html"> |