aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/asterisk.tex2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/asterisk.tex b/doc/asterisk.tex
index f9557bf60..86a50ff80 100644
--- a/doc/asterisk.tex
+++ b/doc/asterisk.tex
@@ -2,6 +2,8 @@
% dependencies for it. Then, run:
%
% rubber asterisk.tex
+%
+% http://www.pps.jussieu.fr/~beffara/soft/rubber/
\documentclass[12pt,a4]{report}
\usepackage{hyperref}