~ubuntu-branches/ubuntu/trusty/tla/trusty

« back to all changes in this revision

Viewing changes to src/build-tools/Makefiles/latex-html.mk

• browse files at revision 1
• compare with another revision
• download diff
• download tarball
• view history from revision 1

Show diffs side-by-side

added

removed

src/build-tools/Makefiles/latex-html.mk

 

1

# latex-html.mk: build html documentation from LaTeX sources

 

2

#

 

3

################################################################

 

4

# Copyright (C) 2001 Tom Lord

 

5

# Copyright (C) 2003 Stig Brautaset

 

6

# 

 

7

# See the file "COPYING" for further information about

 

8

# the copyright and warranty status of this work.

 

9

# 

 

10

 

 

11

 

 

12

 

 

13

ifndef latex-html-mk

 

14

latex-html-mk           := 1

 

15

 

 

16

# Build html documentation from LaTeX sources

 

17

#

 

18

# Set on entry:

 

19

#

 

20

#       $(latex-docs)   LaTeX file to pass to `latex' 

 

21

#                       (default: "manual.tex")

 

22

#

 

23

# Optionally set on entry:

 

24

#

 

25

#       $(latex-to-html) 

 

26

#                       Program that creates a single 

 

27

#                       html-file from each LaTeX source file

 

28

#                       (default: "htlatex")

 

29

#

 

30

# After "make html", the build directory will contain .html file(s) of

 

31

# documentation compiled from LaTeX sources.

 

32

#

 

33

 

 

34

 

 

35

include $(makefiles)/latex.mk

 

36

 

 

37

html-files              :=      $(patsubst %.tex,%.html,$(latex-docs))

 

38

 

 

39

ifndef latex-to-html

 

40

latex-to-html           := htlatex

 

41

endif

 

42

 

 

43

$(html-files): link-latex-files

 

44

        cd $(latex-build-dir) ; \

 

45

        $(latex-to-html) $(patsubst %.html,%.tex,$@) 

 

46

 

 

47

html HTML: $(html-files)

 

48

        cd $(latex-build-dir) ; \

 

49

        cp $(html-files) ..

 

50

        echo $(html-files) > HTML

 

51

 

 

52

doc: html

 

53

 

 

54

clean: clean-html-files

 

55

 

 

56

clean-doc: clean-html-files 

 

57

 

 

58

clean-html-files:

 

59

        for f in $(html-files) HTML ; do \

 

60

          test ! -e $$f || rm -r $$f ; \

 

61

        done

 

62

 

 

63

endif

 

64

 

 

65

# arch-tag: Stig Brautaset Sun Mar  9 10:55:32 GMT 2003 (latex-html.mk)

 

66

#

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1