makehtb.env

用python写的ide开发环境,巨强大,不过需要wxpython的支持

#
# File:		Makefile
# Author:	Roman Rolinsky
# Created:	15/11/2004
#
# Makefile : Builds the online manuals
#

DOCDIR=..
LOCALDOCDIR=.

all: $(DOCTARGET).htb

htb: $(DOCTARGET).htb
html: $(DOCTARGET).html

$(DOCTARGET)_sed.tex: $(DOCTARGET).tex
	sed -e :a -e '$!N;s/\n\(\\label{\)/\1/;ta' -e 'P;D' $< > $@

$(DOCTARGET)_contents.html: $(DOCTARGET)_sed.tex tex2rtf.ini
	tex2rtf $< $(DOCTARGET).html -twice -html
	rm -f *.con
	rm -f *.ref
	rm -f *.con
	rm -f *.ref
	if [ -x _ ]; then \
	find _ \( -name '*.png' -o -name '*.gif' \) -exec ln -sf {} . \; ; \
	fi

$(DOCTARGET).htb: $(DOCTARGET)_contents.html
	zip $@ $(DOCTARGET)*.html *.hhp *.hhk *.hhc *.gif *.png

# Later will be copied to exe
install: $(DOCTARGET).htb
	cp $^ ..

clean:
	rm -f $(DOCTARGET).htb $(DOCTARGET)_*.html