diff options
Diffstat (limited to 'Master/texmf-dist/doc/generic/tex4ht/Makefile')
-rw-r--r-- | Master/texmf-dist/doc/generic/tex4ht/Makefile | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/generic/tex4ht/Makefile b/Master/texmf-dist/doc/generic/tex4ht/Makefile new file mode 100644 index 00000000000..b38a7057449 --- /dev/null +++ b/Master/texmf-dist/doc/generic/tex4ht/Makefile @@ -0,0 +1,34 @@ +# $Id: Makefile 713 2020-05-30 22:41:18Z karl $ +# Makefile for original tex4ht ("mn") documentation. Public domain. + +# karl's environment to get latest released files ... +tldev_cmd := $(shell $(path) which tldev 2>/dev/null) +ifdef tldev_cmd + dev = tldev +else + dev = +endif + +tex = $(dev) tex -interaction=nonstopmode -file-line-error +bld: clean +# chmod -R a+rwX . # as received from OSU + $(tex) mn && $(tex) mn && $(tex) mn + $(dev) tex4ht mn </dev/null + $(dev) t4ht mn </dev/null # needs mk4ht.4ht, symlink in svn + rm -f *.zip # nothing to do with .zip +# A tremendous number of unnecessary and failing commands are run, +# but the output seems more or less ok. + +inst_dir = /r/tug/home/texlive/karl/Master/texmf-dist/doc/generic/tex4ht +# look for "Only in /..." for files in TL now that should be removed. +dif: + diff -u0 $(inst_dir) . + +# have to add new files by hand. +inst: + cp -p `(cd $(inst_dir) && \ls)` $(inst_dir) + +clean: + rm -f *.4ct *.4tc *.aux *.css *.dvi *.idv *.lg *.log *.tmp *.trc *.xref + rm -f *.4es *.bat *.unix *.htf *.png *.fls tmp + rm -f m*.html bugfixes.html # not index.html |