1 files changed, 10 insertions, 0 deletions

diff --git a/manual/preamble.tex b/manual/preamble.tex
index 056cd5c84b..d79655a540 100644
--- a/manual/preamble.tex
+++ b/manual/preamble.tex
@@ -259,3 +259,13 @@
    \renewcommand{\optnvalue}{0}\opt{#1}{\renewcommand{\optnvalue}{1}}%
    \ifthenelse{\optnvalue > 0}{}{#2}
  }
+
+
+
+% Use the rockref to handle get a flexible reference command
+% usage \rockref{ref_section}
+\ifpdfoutput{
+  \newcommand{\rockref}[1]{%
+    section \ref{#1} (page \pageref{#1})
+}}
+{\newcommand{\rockref}[1]{section \ref{#1}}}