diff options
| author | 2020-05-31 20:51:36 -0400 | |
|---|---|---|
| committer | 2020-05-31 20:51:36 -0400 | |
| commit | 7c45cfc103e49840fd49b54ebc0a34c88a623f01 (patch) | |
| tree | 5025e7a9c40d329bc505cdd4396fe44786f77faa /doc/Makefile.in | |
| parent | 34ef1f25a6bb7f52d230885eb95f4b11a388412b (diff) | |
| parent | f3179749aec8eec40166576bef7e0daf893939d4 (diff) | |
Update upstream source from tag 'upstream/1.1.7'
Update to upstream version '1.1.7'
with Debian dir 4ddb09241810e51ff3dfee9af3e56a170c38f1e5
Diffstat (limited to 'doc/Makefile.in')
| -rw-r--r-- | doc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index fc79b80..1f58d4f 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -275,6 +275,7 @@ pdfdir = @pdfdir@ prefix = @prefix@ program_transform_name = @program_transform_name@ psdir = @psdir@ +runstatedir = @runstatedir@ sbindir = @sbindir@ sharedstatedir = @sharedstatedir@ srcdir = @srcdir@ |
