← Back to branch summary

~ubuntu-branches/ubuntu/hardy/gnat-gps/hardy

« back to all changes in this revision

Viewing changes to patches/documentation-formats.patch

  • Committer: Bazaar Package Importer
  • Author(s): Ludovic Brenta
  • Date: 2007-09-29 14:46:34 UTC
  • Revision ID: james.westby@ubuntu.com-20070929144634-n6oslr1ij3vn12i5
Tags: 4.0.1-6
http://bugs.debian.org/443030

debian/control: build-depend-indep on texlive-generic-recommended,
too.  Closes: #443030.  Thanks to Cyril Brulebois for investigating.

Show diffs side-by-side

added added

removed removed

Lines of Context:
patches/documentation-formats.patch
 
1
Index: docs/Makefile.in
 
2
===================================================================
 
3
--- docs/Makefile.in.orig       2007-08-04 01:14:02.788417006 +0200
 
4
+++ docs/Makefile.in    2007-08-04 19:00:02.218364707 +0200
 
5
@@ -25,19 +25,16 @@
 
6
        done
 
7
        touch stamp-pdf
 
8
 
 
9
-tutorial: gps-tutorial.html
 
10
-doc:      gps.txt gps.html gps.pdf
 
11
-gps_pg:   gps_pg.pdf gps_pg.html
 
12
+FORMATS=html pdf txt
 
13
 
 
14
-.PHONY: gps.html
 
15
-
 
16
-gps-tutorial.html: tutorial.texi
 
17
-       ${MAKEINFO} --html --no-validate --no-split --number-sections $< -o $@
 
18
+tutorial: $(foreach f,$(FORMATS),tutorial.$(f))
 
19
+doc:      $(foreach f,$(FORMATS),gps.$(f))
 
20
+gps_pg:   $(foreach f,$(FORMATS),gps_pg.$(f))
 
21
 
 
22
-gps_pg.html:  gps_pg.texi
 
23
-       ${MAKEINFO} --html --no-split --number-sections --no-headers $< -o $@
 
24
+.PHONY: gps.html
 
25
 
 
26
-gps_pg.pdf: gps_pg.texi
 
27
+%.html: %.texi
 
28
+       ${MAKEINFO} --html --no-validate --no-split --number-sections --no-headers $< -o $@
 
29
 
 
30
 ## We generate the documentation twice, in case the version of makeinfo is
 
31
 ## recent enough to support --css-include
 
32
@@ -47,26 +44,11 @@
 
33
        @sed -e 's,</head>,<base target="page"/></head>,' gps/index.html > gps/index.html.tmp
 
34
        @mv gps/index.html.tmp gps/index.html
 
35
 
 
36
-gps.pdf gps.txt: ${TEXI}
 
37
-
 
38
-%.pdf::
 
39
-ifneq (${TEXI2DVI},)
 
40
+%.pdf: %.texi
 
41
        echo x | ${TEXI2DVI} -p $<
 
42
-else
 
43
-       @echo "--------------------------------------------------"
 
44
-       @echo "texi2dvi not found, cannot build PDF documentation"
 
45
-       @echo "--------------------------------------------------"
 
46
-endif
 
47
 
 
48
-%.txt: ${TEXI}
 
49
-ifneq (${MAKEINFO},)
 
50
+%.txt: %.texi
 
51
        ${MAKEINFO} --force --no-headers --no-split -o $@ $<
 
52
-else
 
53
-       @echo "----------------------------------------------------"
 
54
-       @echo "makeinfo not found, cannot build TXT documentation"
 
55
-       @echo "----------------------------------------------------"
 
56
-endif
 
57
-
 
58
 
 
59
 install:
 
60
        $(MKDIR) $(docdir)
 
61
Index: docs/tutorial.texi
 
62
===================================================================
 
63
--- docs/tutorial.texi.orig     2007-08-04 01:15:13.738916216 +0200
 
64
+++ docs/tutorial.texi  2007-08-04 01:15:13.986910971 +0200
 
65
@@ -1,4 +1,5 @@
 
66
-\input texiplus   @c -*-texinfo-*-
 
67
+\input texinfo   @c -*-texinfo-*-
 
68
+@input texiplus
 
69
 @c %**start of header
 
70
 @setfilename tutorial.info
 
71
 @settitle GNAT Programming Studio Tutorial