summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2006-10-15 13:54:55 +0000
committerThomas Schwinge <tschwinge@gnu.org>2009-06-18 00:26:45 +0200
commit557da76746a17926d25b8626e263988d148f5747 (patch)
tree8fd7b636a5868bc24a056b621a5ef3c467a9a963 /doc
parent536a02b74d0908ad61b58beb4ed66f3fa1bfb546 (diff)
2006-10-15 Thomas Schwinge <tschwinge@gnu.org>
[task #5956 --- ``Automake'ify GNU Mach's code base''] * doc/Makefile.in: Remove file. * doc/Makefrag.am: New file. * tests/Makefrag.am: Likewise. * tests/test-mbchk.in: Likewise.
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile.in65
-rw-r--r--doc/Makefrag.am26
2 files changed, 26 insertions, 65 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in
deleted file mode 100644
index ae2b37e..0000000
--- a/doc/Makefile.in
+++ /dev/null
@@ -1,65 +0,0 @@
-#
-# Copyright (C) 2001, 2002, 2004 Free Software Foundation, Inc.
-#
-# This program 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.
-#
-# This program 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 this program; if not, write to the Free Software
-# Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
-
-mach-version := @PACKAGE_VERSION@
-targets := mach.info
-
-# Variables from `configure'.
-srcdir=@srcdir@
-prefix=@prefix@
-
-infodir=$(prefix)/info
-
-DVIPS = dvips
-
-INSTALL_PROGRAM = @INSTALL_PROGRAM@
-
-VPATH = $(srcdir)
-
-all: $(targets)
-
-# For each .info file we need a .d file.
--include $(patsubst %.info,%.d,$(filter %.info,$(targets))) /dev/null
-
-# Build dependencies from included files.
-%.d: %.texi
- set -e; (echo "$*.info $*.dvi: \\"; grep '^@include ' $< | \
- sed -e 's/^[^ ]*[ ]*\([^ ]*\).*$$/ \1 \\/'; \
- echo) > $@.new
- mv -f $@.new $@
-
-%.info: %.texi
- @rm -f $@ $@-[0-9] $@-[0-9][0-9]
- $(MAKEINFO) -I $(@D) -I $(<D) $<
-
-.PRECIOUS: %.dvi
-%.dvi: %.texi
- TEXINPUTS=$(srcdir):$$TEXINPUTS \
- MAKEINFO='$(MAKEINFO) -I $(srcdir)' $(TEXI2DVI) $<
-
-%.ps: %.dvi
- $(DVIPS) $< -o $@
-
-# move-if-change = $(SHELL) $(top_srcdir)/move-if-change
-# For now:
-move-if-change = mv
-
-version.texi: stamp-version; @:
-stamp-version:
- echo '@set VERSION $(mach-version)' > version.texi.new
- $(move-if-change) version.texi.new version.texi
- touch $@
diff --git a/doc/Makefrag.am b/doc/Makefrag.am
new file mode 100644
index 0000000..169d2b8
--- /dev/null
+++ b/doc/Makefrag.am
@@ -0,0 +1,26 @@
+# Makefile fragment for the documentation.
+
+# Copyright (C) 2006 Free Software Foundation, Inc.
+
+# This program 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.
+#
+# This program 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 this program; if not, write to the Free Software
+# Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+
+#
+# The GNU Mach Reference Manual.
+#
+
+info_TEXINFOS += \
+ doc/mach.texi
+mach_TEXINFOS = \
+ doc/fdl.texi doc/gpl.texi