Introduce new reference command; \rockref. Use this to get references right in both the pdf and the html manuals

git-svn-id: svn://svn.rockbox.org/rockbox/trunk@10375 a1c6a512-1295-4272-9138-f99709370657

1 files changed, 8 insertions, 8 deletions

diff --git a/manual/rockbox_interface/wps.tex b/manual/rockbox_interface/wps.tex
index d93fa684b6..8df5384e0e 100644
--- a/manual/rockbox_interface/wps.tex
+++ b/manual/rockbox_interface/wps.tex
@@ -6,7 +6,7 @@ currently playing audio file.
 \opt{HAVE_LCD_BITMAP}{%
   The apperance of the WPS can be configured using wps configuration files.
   The items shown depend on your configuration -- all item can be turned on
-  or off independently. Refer to \pageref{ref:wps_tags} for details on how
+  or off independently. Refer to \rockref{ref:wps_tags} for details on how
   to change the display of the WPS.
   \begin{itemize}
   \item Status bar: The Status bar shows Battery level, charger status, 
@@ -42,7 +42,7 @@ currently playing audio file.
   }
 }
 
-See page \pageref{ref:ConfiguringtheWPS} for details of customising
+See \rockref{ref:ConfiguringtheWPS} for details of customising
 your WPS (While Playing Screen).
 
 
@@ -127,8 +127,8 @@ your WPS (While Playing Screen).
 \opt{HAVE_LCD_BITMAP}{
   \subsection{\label{ref:peak_meter}Peak Meter}
   The peak meter can be displayed on the While Playing Screen and consists of
-  several indicators.  For a picture of the peak meter, please see the  While
-  Recording Screen on page \pageref{ref:Whilerecordingscreen}.
+  several indicators.  For a picture of the peak meter, please see the While
+  Recording Screen in \rockref{ref:Whilerecordingscreen}.
   
   \begin{description}
   \item [The bar:]
@@ -158,8 +158,8 @@ your WPS (While Playing Screen).
 
 	\subsubsection{Sound Settings}
 	This is a shortchut to the \setting{Sound Settings Menu}, where you can configure volume,
-	bass, treble, and other settings affecting the sound of your music.  See page
-	\pageref{ref:configure_rockbox_sound} for more information.
+	bass, treble, and other settings affecting the sound of your music.  
+        See \rockref{ref:configure_rockbox_sound} for more information.
 	
 	\subsubsection{Playlist}
 	The \setting{Playlist} submenu allows you to view, save, search and reshuffle the current 
@@ -246,7 +246,7 @@ your WPS (While Playing Screen).
   (Playlists), any files that Rockbox supports (Supported) or all files on the
   disk (All).
 
-  See page \pageref{ref:PlaybackOptions} for more information about these
+  See \rockref{ref:PlaybackOptions} for more information about these
   settings.
 
   \begin{table}
@@ -268,7 +268,7 @@ your WPS (While Playing Screen).
   assignments swap over with the display orientation where it is logical for
   them to do so.
 
-  See page \pageref{ref:Displayoptions} for more information about these
+  See \rockref{ref:Displayoptions} for more information about these
   settings.
   
   \begin{table}