diff --git a/libgloss/ChangeLog b/libgloss/ChangeLog
index c733c326f..ec1d49a3c 100644
--- a/libgloss/ChangeLog
+++ b/libgloss/ChangeLog
@@ -1,3 +1,9 @@
+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.
+
 2009-06-17  Michael Eager <eager@eagercon.com>
 
 	* rs6000/Makefile.in: Add xilinx support.
diff --git a/libgloss/Makefile.in b/libgloss/Makefile.in
index 3c496e781..24518ace1 100644
--- a/libgloss/Makefile.in
+++ b/libgloss/Makefile.in
@@ -155,7 +155,7 @@ distclean maintainer-clean realclean: clean-here
 	$(MAKE) DO=$@ DODIRS="$(SUBDIRS)" $(FLAGS_TO_PASS) subdir_do; \
 	$(MULTICLEAN) multi-clean DO=$@
 
-.PHONY: info install-info clean-info
+.PHONY: info install-info clean-info html pdf
 subdir_do:
 	@rootpre=`pwd`/; export rootpre; \
 	srcrootpre=`cd $(srcdir); pwd`/; export srcrootpre; \
@@ -171,7 +171,7 @@ subdir_do:
 	  else true; fi; \
 	done
 
-info dvi docs:
+info dvi html pdf docs:
 	rootpre=`pwd`/; export rootpre; \
 	srcrootpre=`cd $(srcdir); pwd`/; export srcrootpre; \
 	$(MAKE) DO=$@ DODIRS=doc $(FLAGS_TO_PASS) subdir_do
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,