diff --git a/manual.xml.in b/manual.xml.in index d14c2f62a..3ab356e31 100644 --- a/manual.xml.in +++ b/manual.xml.in @@ -312,6 +312,7 @@ &reference.yaconf.book; &reference.taint.book; &reference.ds.book; + &reference.var-representation.book;