2009-06-19 Joseph Myers <joseph@codesourcery.com>

        * Makefile.in (html, pdf): New.
        * doc/Makefile.in (html, pdf, porting.pdf, porting.html): New.
        * doc/porting.texi: Fix section structure.

2 files changed, 14 insertions, 4 deletions

diff --git a/libgloss/doc/Makefile.in b/libgloss/doc/Makefile.in
index 2dbb2a681..07fb1e135 100644
--- a/libgloss/doc/Makefile.in
+++ b/libgloss/doc/Makefile.in
@@ -39,8 +39,12 @@ all:
 
 info:	porting.info 
 
+html:	porting.html
+
 dvi:	porting.dvi 
 
+pdf:	porting.pdf
+
 ps:	porting.ps 
 
 doc:	info dvi
@@ -53,10 +57,16 @@ porting: porting.dvi porting.info
 porting.dvi: $(srcdir)/porting.texi $(srcdir)/porting.texi
 	$(TEXI2DVI) $(srcdir)/porting.texi
 
+porting.pdf: $(srcdir)/porting.texi $(srcdir)/porting.texi
+	$(TEXI2DVI) --pdf $(srcdir)/porting.texi
+
 # info file for online browsing
 porting.info: $(srcdir)/porting.texi $(srcdir)/porting.texi
 	$(MAKEINFO) -I $(srcdir) -o porting.info $(srcdir)/porting.texi
 
+porting.html: $(srcdir)/porting.texi $(srcdir)/porting.texi
+	$(MAKEINFO) --html -I $(srcdir) -o porting.html $(srcdir)/porting.texi
+
 porting.ps: porting.dvi
 	dvips -f porting.dvi > porting.ps
 		
diff --git a/libgloss/doc/porting.texi b/libgloss/doc/porting.texi
index 589e1389b..eca88cabe 100644
--- a/libgloss/doc/porting.texi
+++ b/libgloss/doc/porting.texi
@@ -135,7 +135,7 @@ new library is called Libgloss, for Gnu Low-level OS support.
 @end menu
 
 @node Supported targets, Building libgloss, Libgloss, Libgloss
-@subsection Supported Targets
+@section Supported Targets
 Currently libgloss is being used for the following targets:
 
 @menu
@@ -233,7 +233,7 @@ has never been tested with the output of GNU SOM, as this manual is
 mostly for Unix based systems. 
 
 @node Building libgloss, Board support, Supported targets, Libgloss
-@subsection Configuring and building libgloss.
+@section Configuring and building libgloss.
 
 Libgloss uses an autoconf based script to configure. Autoconf scripts
 are portable shell scripts that are generated from a configure.in file.
@@ -302,7 +302,7 @@ and uninstalled object tree. It also makes it easier to debug the other
 tools using libgloss's test suites.
 
 @node Board support, , Building libgloss, Libgloss
-@subsection Adding Support for a New Board
+@section Adding Support for a New Board
 
 This section explains how to add support for a new board to libgloss.
 In order to add support for a board, you must already have developed a
@@ -378,7 +378,7 @@ is described elsewhere.
 @end menu
 
 @node Overview, Options, , GCC
-@subsection Compilation passes
+@section Compilation passes
 
 GCC by itself only compiles the C or C++ code into assembler. Typically
 GCC invokes all the passes required for you. These passes are cpp, cc1,