diff options
Diffstat (limited to 'doc/supplements/sparc/timeERC32.t')
-rw-r--r-- | doc/supplements/sparc/timeERC32.t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/supplements/sparc/timeERC32.t b/doc/supplements/sparc/timeERC32.t index d14fedce9e..f0941185de 100644 --- a/doc/supplements/sparc/timeERC32.t +++ b/doc/supplements/sparc/timeERC32.t @@ -6,7 +6,7 @@ @c $Id$ @c -@include ../common/timemac.texi +@include ../../common/timemac.texi @tex \global\advance \smallskipamount by -4pt @end tex |