diff options
Diffstat (limited to '')
-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 2eb8359ce9..39f4828b89 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 |