diff options
author | Karl Berry <karl@freefriends.org> | 2008-08-12 23:46:59 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-08-12 23:46:59 +0000 |
commit | aa73dc47395f96e2e308281b4e04c0d674841d52 (patch) | |
tree | e243f450a2e840456a9366f9fd97cd2aaf08da1e /Build/source/texk/make | |
parent | c7538d428814b27157b98beb993ae8ae0e53dd11 (diff) |
install synctex man pages
git-svn-id: svn://tug.org/texlive/trunk@10296 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/make')
-rw-r--r-- | Build/source/texk/make/ChangeLog | 4 | ||||
-rw-r--r-- | Build/source/texk/make/paths.mk | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/texk/make/ChangeLog b/Build/source/texk/make/ChangeLog index 95c644a5e89..ef52425156d 100644 --- a/Build/source/texk/make/ChangeLog +++ b/Build/source/texk/make/ChangeLog @@ -1,3 +1,7 @@ +2008-08-13 Karl Berry <karl@tug.org> + + * paths.mk (man5dir): new defn for synctex.5. + 2008-05-29 Karl Berry <karl@tug.org> * tkpathsea.mk: no more texmf.in, use texmf.cnf instead. 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@ |