Stefano Sabatini 992772b947 doc: remove references to external documents
Fix a few warnings generated when creating the manuals.

Our current doc generation toolchain does not allow to reference external
documents.
2012-12-17 23:53:50 +01:00
..
2012-10-08 11:22:42 +02:00
2012-12-09 18:24:56 +01:00
2012-11-08 21:05:10 +01:00
2012-01-28 11:04:19 +01:00
2012-12-15 11:46:47 +01:00
2012-10-02 09:43:27 +02:00