diff options
-rw-r--r-- | Master/texmf/doc/man/man1/tlmgr.pdf | bin | 15957 -> 0 bytes | |||
-rw-r--r-- | Master/texmf/doc/man/man1/tpic2pdftex.pdf | bin | 0 -> 4818 bytes | |||
-rwxr-xr-x | Master/tlpkg/bin/tl-update-auto | 6 |
3 files changed, 4 insertions, 2 deletions
diff --git a/Master/texmf/doc/man/man1/tlmgr.pdf b/Master/texmf/doc/man/man1/tlmgr.pdf Binary files differindex e5688a1c7d0..e69de29bb2d 100644 --- a/Master/texmf/doc/man/man1/tlmgr.pdf +++ b/Master/texmf/doc/man/man1/tlmgr.pdf diff --git a/Master/texmf/doc/man/man1/tpic2pdftex.pdf b/Master/texmf/doc/man/man1/tpic2pdftex.pdf Binary files differnew file mode 100644 index 00000000000..28c49cbd903 --- /dev/null +++ b/Master/texmf/doc/man/man1/tpic2pdftex.pdf diff --git a/Master/tlpkg/bin/tl-update-auto b/Master/tlpkg/bin/tl-update-auto index a46b0bb1283..65a1b622246 100755 --- a/Master/tlpkg/bin/tl-update-auto +++ b/Master/tlpkg/bin/tl-update-auto @@ -153,14 +153,16 @@ same_except_for_th () cmp -s /tmp/seft1 /tmp/seft2 } -manfile=texmf/doc/man/man1/tlmgr.1 +mandir=texmf/doc/man +manfile=$mandir/man1/tlmgr.1 pod2man bin/i386-linux/tlmgr >$temp if same_except_for_th $manfile $temp; then echo " `basename $manfile` ok." rm -f $manfile.new else $chicken $mv $temp $manfile - update_list="$update_list $manfile" + (cd $mandir && make) # remake pdfs, should do always but it's something + update_list="$update_list $mandir" fi |