diff options
Diffstat (limited to 'Build/source/texk/make/paths.mk')
| -rw-r--r-- | Build/source/texk/make/paths.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/make/paths.mk b/Build/source/texk/make/paths.mk index 91248a71359..29e35af38af 100644 --- a/Build/source/texk/make/paths.mk +++ b/Build/source/texk/make/paths.mk @@ -32,6 +32,7 @@ infodir = @infodir@ manext = 1 mandir = @mandir@ man1dir = $(mandir)/man$(manext) +man5dir = $(mandir)/man5 # modifiable single-machine data. localstatedir = @localstatedir@ |