doc/manual/Makefile
changeset 212 945b5eacc733
parent 210 6b5a4c21e061
child 249 d328d0d9b88e
equal deleted inserted replaced
211:2a4c2ca03555 212:945b5eacc733
    19 # You should have received a copy of the GNU Lesser General Public
    19 # You should have received a copy of the GNU Lesser General Public
    20 # License along with this library; if not, write to the Free Software
    20 # License along with this library; if not, write to the Free Software
    21 # Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
    21 # Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
    22 # 
    22 # 
    23 
    23 
       
    24 all: manual
    24 
    25 
    25 manual:
    26 clean:
       
    27 	cd en && \
       
    28 	rm -f manual.aux manual.log manual.out manual.toc manual.pdf && \
       
    29 	rm -rf html && \
       
    30 	mkdir html
       
    31 
       
    32 manual: clean
    26 	cd en && \
    33 	cd en && \
    27 	pdflatex manual.tex && \
    34 	pdflatex manual.tex && \
    28 	pdflatex manual.tex && \
    35 	pdflatex manual.tex && \
    29 	cp manual.pdf ../../../objdictgen/doc/manual_en.pdf && \
    36 	cp manual.pdf ../../../objdictgen/doc/manual_en.pdf && \
    30 	rm manual.aux manual.log manual.out manual.toc && \
       
    31 	rm -rf html && \
       
    32 	mkdir html && \
       
    33 	latex2html -dir html manual.tex && \
    37 	latex2html -dir html manual.tex && \
    34 	xpdf manual.pdf
    38 	xpdf manual.pdf