auctex-commit
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[AUCTeX-commit] Changes to Makefile


From: Ralf Angeli
Subject: [AUCTeX-commit] Changes to Makefile
Date: Sat, 24 Feb 2007 18:43:03 +0000

CVSROOT:        /sources/auctex
Module name:    reftex
Changes by:     Ralf Angeli <angeli>    07/02/24 18:43:03

Index: Makefile
===================================================================
RCS file: Makefile
diff -N Makefile
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ Makefile    24 Feb 2007 18:43:03 -0000      1.1
@@ -0,0 +1,63 @@
+# Makefile for the RefTeX distribution.
+
+# Maintainer: address@hidden
+
+# Copyright (C) 2007 Free Software Foundation, Inc.
+
+# This file is part of RefTeX.
+
+# RefTeX is free software; you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 2, or (at your option)
+# any later version.
+
+# RefTeX is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# General Public License for more details.
+
+# You should have received a copy of the GNU General Public License
+# along with RefTeX; see the file COPYING.  If not, write to the Free
+# Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
+# MA 02110-1301, USA.
+
+TEXI2DVI=texi2dvi
+TEXI2PDF=texi2dvi --pdf
+MAKEINFO=makeinfo
+TEXI2HTML=makeinfo --no-split --html --number-sections
+DVIPS=dvips
+INSTALL_INFO=install-info
+
+.PHONY: all info dvi ps pdf html install
+
+all: info
+
+info: reftex.info
+
+dvi: reftex.dvi
+
+ps: reftex.ps
+
+pdf: reftex.pdf
+
+html: reftex.html
+
+reftex.info: reftex.texi
+       $(MAKEINFO) --no-split reftex.texi
+
+reftex.dvi: reftex.texi
+       $(TEXI2DVI) reftex.texi
+
+reftex.ps: reftex.dvi
+       $(DVIPS) -o reftex.ps reftex.dvi
+
+reftex.pdf: reftex.texi
+       $(TEXI2PDF) reftex.texi
+
+reftex.html: reftex.texi
+       $(TEXI2HTML) reftex.texi
+
+install: reftex.info
+       if [ ! -d $(infodir) ]; then $(MKDIR) $(infodir); else true; fi ;
+       $(CP) reftex.info $(infodir)
+       -$(INSTALL_INFO) --info-dir=$(infodir) reftex.info




reply via email to

[Prev in Thread] Current Thread [Next in Thread]