diff options
Diffstat (limited to 'Doc')
-rw-r--r-- | Doc/Makefile.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index 5893cc832..eae330171 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -33,7 +33,6 @@ dir_top = .. VPATH = @srcdir@ sdir = @srcdir@ sdir_top = @top_srcdir@ -runhelpdir = @runhelpdir@ INSTALL = @INSTALL@ LN_S = @LN_S@ |