source: trunk/IPs/systemC/processor/Morpheo/Documentation/Source/Makefile @ 81

Last change on this file since 81 was 81, checked in by rosiere, 16 years ago
  • Finish Environment (and test)
  • Continue predictor_unit
  • Add external tools
  • svn keyword "Id" set
  • Property svn:keywords set to Id
File size: 20.1 KB
Line 
1#-------------------------------------------------------------------------------
2# Filename:    Makefile
3# Description: LaTeX compilation flow
4#-------------------------------------------------------------------------------
5
6include ${MORPHEO_TOPLEVEL}/Makefile.tools
7#--------------------------------------------------------------------------------
8# User-defined options :
9#--------------------------------------------------------------------------------
10
11TYPE_DOC                = ("doc" "ppt" "poster")
12
13DEFAULT_LANG            = fr
14FILE_SOURCE_SED         = file_source.sed
15FILE_SOURCE_STY         = file_source.sty
16FILE_SOURCE_TEX         = file_source.tex
17
18#--------------------------------------------------------------------------------
19# Directory
20#--------------------------------------------------------------------------------
21VERSION                 = "1.3" # 2007/07/18
22
23DIR_DOCUMENTATION       = ..
24DIR_INCLUDE             = Include
25DIR_PACKAGE             = Info
26DIR_DOCUMENTS           = Documents
27DIR_LANGUAGE            = Info
28DIR_TYPE                = Info
29DIR_GRAPH               = Graph
30DIR_SCHEMA              = Schema
31DIR_SCHEMA_EPS          = Schema_eps
32DIR_SCHEMA_PNG          = Schema_png
33DIR_TEX                 = Source
34DIR_LINK                = Link
35
36#--------------------------------------------------------------------------------
37# Directory
38#--------------------------------------------------------------------------------
39ENV_LATEX               = export TEXINPUTS=$(DIR_INCLUDE):$$TEXINPUTS
40LATEX_WITH_ENV          = $(ENV_LATEX); $(LATEX)
41
42
43
44#--------------------------------------------------------------------------------
45# File
46#--------------------------------------------------------------------------------
47
48ALL_FILES               = $(wildcard $(DIR_TYPE)/*.type)
49
50TEX_FILES               = $(wildcard $(DIR_TEX)/*.tex)
51FILES                   = $(patsubst $(DIR_TEX)/%.tex,%    ,$(TEX_FILES))
52DVI_FILES               = $(patsubst $(DIR_TEX)/%.tex,%.dvi,$(TEX_FILES))
53PS_FILES                = $(patsubst $(DIR_TEX)/%.tex,%.ps ,$(TEX_FILES))
54PDF_FILES               = $(patsubst $(DIR_TEX)/%.tex,%.pdf,$(TEX_FILES))
55PNG_FILES               = $(patsubst $(DIR_GRAPH)/%.p,$(DIR_SCHEMA_PNG)/%.png,$(wildcard $(DIR_GRAPH)/*.p))             \
56                          $(patsubst $(DIR_SCHEMA)/%.fig,$(DIR_SCHEMA_PNG)/%.png,$(wildcard $(DIR_SCHEMA)/*.fig))       \
57                          $(patsubst $(DIR_SCHEMA)/%.eps,$(DIR_SCHEMA_PNG)/%.png,$(wildcard $(DIR_SCHEMA)/*.eps))
58
59#--------------------------------------------------------------------------------
60# The reset of this file shall not be editted
61#--------------------------------------------------------------------------------
62.PHONY                  : all clean view help doc doc_all new delete
63.SECONDARY              : $(DVI_FILES) $(PS_FILES) $(PDF_FILES) $(PNG_FILES) $(DIR_SCHEMA_EPS) $(DIR_SCHEMA_PNG)
64.PRECIOUS               : %.pdf %.ps %.dvi $(DIR_SCHEMA_PNG)/%.png $(DIR_SCHEMA_EPS)/%.eps
65
66all                     : help
67
68doc                     : $(PNG_FILES) $(DIR_TEX)
69                        @\
70                        for file in $(ALL_FILES); do                                                            \
71                                file=`$(BASENAME) $$file .type`;                                                \
72                                type=`$(CAT) $(DIR_TYPE)/$$file.type`;                                          \
73                                                                                                                \
74                                for lang in `$(CAT) $(DIR_LANGUAGE)/$$file.lang`; do                                    \
75                                        if $(TEST) ! -f "$(DIR_TEX)/$$file-$$lang.tex"; then                    \
76                                                $(ECHO) "s/@LANG/$$lang/"                     >  $$$$;          \
77                                                $(ECHO) "s/@FILE/$$file/"                     >> $$$$;          \
78                                                $(ECHO) "s/@DIRPACKAGE/$(DIR_PACKAGE)/"       >> $$$$;          \
79                                                $(ECHO) "s/@DIRDOC/$(DIR_DOCUMENTS)\/$$file/" >> $$$$;          \
80                                                $(ECHO) "s/@DIRSCHEMA/$(DIR_SCHEMA_EPS)/"     >> $$$$;          \
81                                                $(CAT) $(DIR_INCLUDE)/$$type-$(FILE_SOURCE_SED) | $(SED) -f $$$$ > $(DIR_TEX)/$$file-$$lang.tex; \
82                                                $(RM)   $$$$;                                                   \
83                                        fi;                                                                     \
84                                done;                                                                           \
85                        done;                                                                                   \
86                        $(MAKE) doc_all;
87
88doc_all                 : $(PDF_FILES)
89
90#--------------------------------------------------------------------------------
91# Generation of the formatted text:
92# regular flow tex -> dvi -> ps -> pdf.
93#--------------------------------------------------------------------------------
94%.pdf                   : %.ps
95                        @\
96                        $(ECHO) "Génération du fichier $*.pdf";         \
97                        $(PS2PDF) $< $@;                                \
98                        $(CP) $@ $(DIR_DOCUMENTATION);
99
100%.ps                    : %.dvi
101                        @\
102                        $(ECHO) "Génération du fichier $*.ps";          \
103                        $(DVIPS) -o $@ $<;
104
105#$(DIR_LINK)/%/*
106%.dvi                   : $(DIR_TEX)/%.tex
107                        @\
108                        $(ECHO) "Génération du fichier $*.dvi";         \
109                        $(LATEX_WITH_ENV) $<;                           \
110                        if $(TEST) $$? -eq 0; then                      \
111                                $(LATEX_WITH_ENV) $< > /dev/null;       \
112                                citation=`$(GREP) "citation" $*.aux`;   \
113                                if $(TEST) -n "$$citation" ; then       \
114                                        $(BIBTEX) $* ;                  \
115                                fi;                                     \
116                                $(LATEX_WITH_ENV) $< > /dev/null;       \
117                                $(LATEX_WITH_ENV) $< > /dev/null;       \
118                        fi;
119
120
121#--------------------------------------------------------------------------------
122# New - Delete - Rename
123#--------------------------------------------------------------------------------
124new                     :
125                        @                                                                                       \
126                        $(ECHO) "";                                                                             \
127                        $(ECHO) "Choose a type of a document    : (0 is default)";                              \
128                        CPT=0;                                                                                  \
129                        declare -a type_doc=$(TYPE_DOC);                                                        \
130                        for type in $${type_doc[@]}; do                                                         \
131                                $(ECHO) "$$CPT) $$type";                                                        \
132                                CPT=$$(($$CPT+1));                                                              \
133                        done;                                                                                   \
134                        declare -i NUM_TYPE;                                                                    \
135                        read NUM_TYPE;                                                                          \
136                                                                                                                \
137                        if $(TEST) "$$NUM_TYPE" -ge "$$CPT"; then                                               \
138                                NUM_TYPE=0;                                                                     \
139                        fi;                                                                                     \
140                        declare    TYPE=$${type_doc[$$NUM_TYPE]};                                               \
141                                                                                                                \
142                        declare    FILENAME;                                                                    \
143                        $(ECHO) "";                                                                             \
144                        $(ECHO) "Give the name of the documents :";                                             \
145                        read FILENAME;                                                                          \
146                                                                                                                \
147                        if $(TEST) -z "$$FILENAME" -o -d "$(DIR_TYPE)/$$FILENAME.type";                         \
148                        then                                                                                    \
149                                $(ECHO) "Invalid name : string is empty, or filename is already used";          \
150                                exit;                                                                           \
151                        fi;                                                                                     \
152                                                                                                                \
153                        $(ECHO) "Create file      : $(DIR_LANGUAGE)/$$FILENAME.lang";                           \
154                        $(ECHO) "                   (Default language : $(DEFAULT_LANG))";                      \
155                        $(ECHO) "$(DEFAULT_LANG)" > $(DIR_LANGUAGE)/$$FILENAME.lang;                            \
156                                                                                                                \
157                        $(ECHO) "Create file      : $(DIR_TYPE)/$$FILENAME.type";                               \
158                        $(ECHO) $$TYPE > $(DIR_TYPE)/$$FILENAME.type;                                           \
159                                                                                                                \
160                        $(ECHO) "Create file      : $(DIR_PACKAGE)/$$FILENAME.sty";                             \
161                        $(CP) $(DIR_INCLUDE)/$$TYPE-$(FILE_SOURCE_STY) $(DIR_PACKAGE)/$$FILENAME.sty;           \
162                                                                                                                \
163                        $(ECHO) "Create file      : $(DIR_PACKAGE)/$$FILENAME.tex";                             \
164                        $(CP) $(DIR_INCLUDE)/$$TYPE-$(FILE_SOURCE_TEX) $(DIR_PACKAGE)/$$FILENAME.tex;           \
165                                                                                                                \
166                        $(ECHO) "Create directory : $(DIR_DOCUMENTS)/$$FILENAME";                               \
167                        $(ECHO) "Create directory : $(DIR_DOCUMENTS)/$$FILENAME/common";                        \
168                        $(ECHO) "Create directory : $(DIR_DOCUMENTS)/$$FILENAME/$(DEFAULT_LANG)";               \
169                        $(MKDIR) $(DIR_DOCUMENTS)/$$FILENAME/common;                                            \
170                        $(MKDIR) $(DIR_DOCUMENTS)/$$FILENAME/$(DEFAULT_LANG);                                   \
171                                                                                                                \
172                        $(ECHO) "Create link      : $(DIR_LINK)/$$FILENAME-$(DEFAULT_LANG)";                    \
173                        $(LINK_SYMBOLIC) $(DIR_DOCUMENTS)/$$FILENAME/$(DEFAULT_LANG) $(DIR_LINK)/$$FILENAME-$(DEFAULT_LANG); \
174                                                                                                                \
175                        $(ECHO) "Create file      : $(DIR_DOCUMENTS)/$$FILENAME/$(DEFAULT_LANG)/root.tex";      \
176                        $(TOUCH) $(DIR_DOCUMENTS)/$$FILENAME/$(DEFAULT_LANG)/root.tex
177
178delete                  :
179                        @                                                                                       \
180                        declare -a FILES;                                                                       \
181                        declare -i CPT;                                                                         \
182                        declare -i NUM_FILE;                                                                    \
183                        declare -i NUM_FILE_CONFIRM;                                                            \
184                                                                                                                \
185                        $(ECHO) "";                                                                             \
186                        $(ECHO) "Choose a document  : (0 by default)";                                          \
187                        $(ECHO) "0) ( none )";                                                                  \
188                                                                                                                \
189                        CPT=1;                                                                                  \
190                        for files in $(ALL_FILES); do                                                           \
191                                files=`$(BASENAME) $$files .type`;                                              \
192                                $(ECHO) "$$CPT) $$files";                                                       \
193                                FILES[$$CPT]=$$files;                                                           \
194                                CPT=$$(($$CPT+1));                                                              \
195                        done;                                                                                   \
196                        read NUM_FILE;                                                                          \
197                                                                                                                \
198                        if $(TEST) "$$NUM_FILE" -ge "$$CPT"; then                                               \
199                                NUM_FILE=0;                                                                     \
200                        fi;                                                                                     \
201                                                                                                                \
202                        $(ECHO) "Please reenter the document id to confirm the delete";                         \
203                        read NUM_FILE_CONFIRM;                                                                  \
204                                                                                                                \
205                        if $(TEST) "$$NUM_FILE" -eq "0" -o "$$NUM_FILE" -ne "$$NUM_FILE_CONFIRM"; then          \
206                                $(ECHO) "Delete cancelled";                                                     \
207                                exit;                                                                           \
208                        fi;                                                                                     \
209                                                                                                                \
210                        declare    FILENAME;                                                                    \
211                        FILENAME=$${FILES[$$NUM_FILE]};                                                         \
212                                                                                                                \
213                        $(ECHO) "Delete file      : $(DIR_TYPE)/$$FILENAME.type";                               \
214                        $(RM) $(DIR_TYPE)/$$FILENAME.type;                                                      \
215                                                                                                                \
216                        $(ECHO) "Delete file      : $(DIR_LANGUAGE)/$$FILENAME.lang";                           \
217                        $(RM) $(DIR_LANGUAGE)/$$FILENAME.lang;                                                  \
218                                                                                                                \
219                        $(ECHO) "Delete file      : $(DIR_PACKAGE)/$$FILENAME.sty";                             \
220                        $(RM) $(DIR_PACKAGE)/$$FILENAME.sty;                                                    \
221                                                                                                                \
222                        $(ECHO) "Delete file      : $(DIR_PACKAGE)/$$FILENAME.tex";                             \
223                        $(RM) $(DIR_PACKAGE)/$$FILENAME.tex;                                                    \
224                                                                                                                \
225                        $(ECHO) "Delete directory : $(DIR_DOCUMENTS)/$$FILENAME";                               \
226                        $(RM) $(DIR_DOCUMENTS)/$$FILENAME;                                                      \
227                        $(ECHO) "Delete link      : $(DIR_DOCUMENTS)/$$FILENAME";                               \
228                        $(RM) $(DIR_LINK)/$$FILENAME-*;
229
230rename                  :
231                        @                                                                                       \
232                        declare -a FILES;                                                                       \
233                        declare -i CPT;                                                                         \
234                        declare -i NUM_FILE;                                                                    \
235                                                                                                                \
236                        $(ECHO) "";                                                                             \
237                        $(ECHO) "Choose a document  : (0 by default)";                                          \
238                        $(ECHO) "0) ( none )";                                                                  \
239                                                                                                                \
240                        CPT=1;                                                                                  \
241                        for files in $(ALL_FILES); do                                                           \
242                                files=`$(BASENAME) $$files .type`;                                              \
243                                $(ECHO) "$$CPT) $$files";                                                       \
244                                FILES[$$CPT]=$$files;                                                           \
245                                CPT=$$(($$CPT+1));                                                              \
246                        done;                                                                                   \
247                        read NUM_FILE;                                                                          \
248                                                                                                                \
249                        if $(TEST) "$$NUM_FILE" -ge "$$CPT"; then                                               \
250                                NUM_FILE=0;                                                                     \
251                        fi;                                                                                     \
252                                                                                                                \
253                        if $(TEST) "$$NUM_FILE" -eq "0"; then                                                   \
254                                $(ECHO) "Rename cancelled";                                                     \
255                                exit;                                                                           \
256                        fi;                                                                                     \
257                                                                                                                \
258                        declare    FILENAME_SRC;                                                                \
259                        declare    FILENAME_DEST;                                                               \
260                        FILENAME_SRC=$${FILES[$$NUM_FILE]};                                                     \
261                                                                                                                \
262                        $(ECHO) "Give the new name of the documents :";                                         \
263                        read FILENAME_DEST;                                                                     \
264                                                                                                                \
265                        if $(TEST) -z "$$FILENAME_DEST" -o -d "$(DIR_TYPE)/$$FILENAME_DEST.type";               \
266                        then                                                                                    \
267                                $(ECHO) "Invalid name : string is empty, or filename is already used";          \
268                                exit;                                                                           \
269                        fi;                                                                                     \
270                                                                                                                \
271                        $(ECHO) "Rename file      : $(DIR_LANGUAGE)/$$FILENAME_SRC.lang";                       \
272                        $(MV) $(DIR_LANGUAGE)/$$FILENAME_SRC.lang $(DIR_LANGUAGE)/$$FILENAME_DEST.lang;         \
273                                                                                                                \
274                        $(ECHO) "Rename file      : $(DIR_TYPE)/$$FILENAME_SRC.type";                           \
275                        $(MV) $(DIR_TYPE)/$$FILENAME_SRC.type     $(DIR_TYPE)/$$FILENAME_DEST.type;             \
276                                                                                                                \
277                        $(ECHO) "Rename file      : $(DIR_PACKAGE)/$$FILENAME_SRC.sty";                         \
278                        $(MV) $(DIR_PACKAGE)/$$FILENAME_SRC.sty   $(DIR_PACKAGE)/$$FILENAME_DEST.sty;           \
279                                                                                                                \
280                        $(ECHO) "Rename file      : $(DIR_PACKAGE)/$$FILENAME_SRC.tex";                         \
281                        $(MV) $(DIR_PACKAGE)/$$FILENAME_SRC.tex   $(DIR_PACKAGE)/$$FILENAME_DEST.tex;           \
282                                                                                                                \
283                        $(ECHO) "Rename directory : $(DIR_DOCUMENTS)/$$FILENAME_SRC";                           \
284                        $(MV) $(DIR_DOCUMENTS)/$$FILENAME_SRC     $(DIR_DOCUMENTS)/$$FILENAME_DEST;             \
285                        $(ECHO) "Rename link      : manually please";
286
287
288
289#--------------------------------------------------------------------------------
290# View
291#--------------------------------------------------------------------------------
292view                    : doc
293                        @                                                                                       \
294                        declare    SELECT_FILE;                                                                 \
295                        declare    SELECT_LANG;                                                                 \
296                        declare    SELECT_FORMAT;                                                               \
297                        declare    SELECT_VIEWER;                                                               \
298                                                                                                                \
299                                                                                                                \
300                        $(ECHO) "";                                                                             \
301                        $(ECHO) "Choose a document  : (0 by default)";                                          \
302                                                                                                                \
303                        declare -i CPT;                                                                         \
304                        declare -i NUM_FILE;                                                                    \
305                        declare -a FILES;                                                                       \
306                                                                                                                \
307                        CPT=0;                                                                                  \
308                        for files in $(ALL_FILES); do                                                           \
309                                files=`$(BASENAME) $$files .type`;                                              \
310                                type=`$(CAT) $(DIR_TYPE)/$$files.type`;                                         \
311                                $(ECHO) "$$CPT) $$type - $$files";                                              \
312                                FILES[$$CPT]=$$files;                                                           \
313                                CPT=$$(($$CPT+1));                                                              \
314                        done;                                                                                   \
315                        read NUM_FILE;                                                                          \
316                                                                                                                \
317                        if $(TEST) "$$NUM_FILE" -ge "$$CPT"; then                                               \
318                                NUM_FILE=0;                                                                     \
319                        fi;                                                                                     \
320                                                                                                                \
321                        SELECT_FILE=$${FILES[$$NUM_FILE]};                                                      \
322                        $(ECHO) "Document selected  : $$SELECT_FILE";                                           \
323                        $(ECHO) "";                                                                             \
324                                                                                                                \
325                                                                                                                \
326                                                                                                                \
327                        $(ECHO) "Choose a language  : (0 by default)";                                          \
328                                                                                                                \
329                        declare -i NUM_LANG;                                                                    \
330                        declare -a LANG;                                                                        \
331                                                                                                                \
332                        CPT=0;                                                                                  \
333                        for lang in `$(CAT) $(DIR_LANGUAGE)/$$SELECT_FILE.lang`; do                             \
334                                $(ECHO) "$$CPT) $$lang";                                                        \
335                                LANG[$$CPT]=$$lang;                                                             \
336                                CPT=$$(($$CPT+1));                                                              \
337                        done;                                                                                   \
338                        read NUM_LANG;                                                                          \
339                                                                                                                \
340                        if $(TEST) "$$NUM_LANG" -ge "$$CPT"; then                                               \
341                                NUM_LANG=0;                                                                     \
342                        fi;                                                                                     \
343                                                                                                                \
344                        SELECT_LANG=$${LANG[$$NUM_LANG]};                                                       \
345                        $(ECHO) "Language selected  : $$SELECT_LANG";                                           \
346                        $(ECHO) "";                                                                             \
347                                                                                                                \
348                                                                                                                \
349                                                                                                                \
350                        $(ECHO) "Choose a format    : (0 by default)";                                          \
351                                                                                                                \
352                        declare -i NUM_FORMAT;                                                                  \
353                        declare -a FORMAT;                                                                      \
354                        declare -a VIEWER;                                                                      \
355                                                                                                                \
356                        FORMAT=("pdf"           "pdf"        "ps"        "dvi");                                \
357                        VIEWER=("$(VIEWPDF_FS)" "$(VIEWPDF)" "$(VIEWPS)" "$(VIEWDVI)");                         \
358                                                                                                                \
359                        CPT=0;                                                                                  \
360                        while [ $$CPT -lt $${#FORMAT[*]} ]; do                                                  \
361                            $(ECHO) "$$CPT) $${FORMAT[$$CPT]} ($${VIEWER[$$CPT]})";                             \
362                            CPT=$$(($$CPT+1));                                                                  \
363                        done;                                                                                   \
364                        read NUM_FORMAT;                                                                        \
365                                                                                                                \
366                        if $(TEST) "$$NUM_FORMAT" -ge "$$CPT"; then                                             \
367                                NUM_FORMAT=0;                                                                   \
368                        fi;                                                                                     \
369                                                                                                                \
370                        SELECT_FORMAT=$${FORMAT[$$NUM_FORMAT]};                                                 \
371                        SELECT_VIEWER=$${VIEWER[$$NUM_FORMAT]};                                                 \
372                        $(ECHO) "Format selected    : $$SELECT_FORMAT";                                         \
373                        $(ECHO) "";                                                                             \
374                                                                                                                \
375                                                                                                                \
376                                                                                                                \
377                        $$SELECT_VIEWER "$$SELECT_FILE-$$SELECT_LANG.$$SELECT_FORMAT" &                         \
378                                                                                                                \
379                        $(ECHO) "";
380
381#--------------------------------------------------------------------------------
382# The figures directory
383#--------------------------------------------------------------------------------
384$(DIR_SCHEMA_EPS)       :
385                        @\
386                        $(ECHO) "Make directory       : $@";            \
387                        $(MKDIR) $@;
388
389$(DIR_SCHEMA_PNG)       :
390                        @\
391                        $(ECHO) "Make directory       : $@";            \
392                        $(MKDIR) $@;
393
394$(DIR_TEX)              :
395                        @\
396                        $(ECHO) "Make directory       : $@";            \
397                        $(MKDIR) $@;
398
399$(DIR_SCHEMA_PNG)/%.png : $(DIR_SCHEMA_EPS)/%.eps $(DIR_SCHEMA_PNG)
400                        @\
401                        $(ECHO) "Generate   files     : $*.png";        \
402                        $(EPS2PNG) $< $@;
403
404$(DIR_SCHEMA_EPS)/%.eps : $(DIR_SCHEMA)/%.eps $(DIR_SCHEMA_EPS)
405                        @\
406                        $(ECHO) "Generate   files     : $*.eps";        \
407                        $(CP) $(DIR_SCHEMA)/$*.eps $(DIR_SCHEMA_EPS);
408
409$(DIR_SCHEMA_EPS)/%.eps : $(DIR_SCHEMA)/%.fig $(DIR_SCHEMA_EPS)
410                        @\
411                        $(ECHO) "Generate   files     : $*.eps";        \
412                        $(FIG2EPS) $< $@;
413
414$(DIR_SCHEMA_EPS)/%.eps : $(DIR_GRAPH)/%.p    $(DIR_SCHEMA_EPS)
415                        @\
416                        $(ECHO) "Generate   files     : $*.eps";        \
417                        cd $(DIR_GRAPH); $(GNUPLOT) $*.p;
418
419#--------------------------------------------------------------------------------
420# Cleaning
421#--------------------------------------------------------------------------------
422
423clean                   :
424                        @\
425                        $(ECHO) "Delete     temporary files              "$(PWD);                               \
426                        $(RM) $(DIR_SCHEMA_EPS) $(DIR_SCHEMA_PNG)  $(DIR_TEX) $(DIR_PACKAGE)/*.aux;             \
427                        $(RM) $(DVI_FILES) $(PS_FILES) $(PDF_FILES);                                            \
428                        $(RM) a0header.ps;                                                                      \
429                        $(MAKE) clean_rec DIR_CLEAN=;
430
431#Clean recursive
432clean_rec               :
433                        @\
434                        $(ECHO) "Delete     temporary files in directory $(DIR_CLEAN)";                         \
435                        $(RM)   $(DIR_CLEAN)/*~                 \
436                                $(DIR_CLEAN)/*.bak              \
437                                $(DIR_CLEAN)/*.aux              \
438                                $(DIR_CLEAN)/*.bbl              \
439                                $(DIR_CLEAN)/*.blg              \
440                                $(DIR_CLEAN)/*.bmt              \
441                                $(DIR_CLEAN)/*.log              \
442                                $(DIR_CLEAN)/*.mtc*             \
443                                $(DIR_CLEAN)/*.toc              \
444                                $(DIR_CLEAN)/*.idx              \
445                                $(DIR_CLEAN)/*.ilg              \
446                                $(DIR_CLEAN)/*.ind              \
447                                $(DIR_CLEAN)/*.out              \
448                                $(DIR_CLEAN)/*.nav              \
449                                $(DIR_CLEAN)/*.snm              \
450                                $(DIR_CLEAN)/*.maf              \
451                                $(DIR_CLEAN)/missfont.log;      \
452                        for files in `$(LS) $(DIR_CLEAN)`; do                                                   \
453                                if $(TEST) -d $(DIR_CLEAN)/$$files;                                             \
454                                then                                                                            \
455                                        $(MAKE) clean_rec DIR_CLEAN=$(DIR_CLEAN)/$$files;                       \
456                                fi;                                                                             \
457                        done;
458
459clean_all               : clean
460                        @\
461                        $(ECHO) "Delete     temporary files (all)";                                             \
462                        $(RM) $(DIR_DOCUMENTATION)/*.pdf;
463
464#--------------------------------------------------------------------------------
465# Help
466#--------------------------------------------------------------------------------
467
468help                    :
469                        @\
470                        $(ECHO) "Environnement to generate documents and presentations";                        \
471                        $(ECHO) "Version         : $(VERSION)";                                                 \
472                        $(ECHO) "";                                                                             \
473                        $(ECHO) "List of rules   :";                                                            \
474                        $(ECHO) " * all          : Cf rules \"help\"";                                          \
475                        $(ECHO) " * clean        : Erase generate files";                                       \
476                        $(ECHO) " * clean_all    : Erase all generate files";                                   \
477                        $(ECHO) " * delete       : Erase all file and directory of a document";                 \
478                        $(ECHO) " * doc          : Generate all documents";                                     \
479                        $(ECHO) " * help         : Print this message";                                         \
480                        $(ECHO) " * new          : Create all file and directy for a new document";             \
481                        $(ECHO) " * rename       : Rename a document";                                          \
482                        $(ECHO) " * view         : List all document to view";                                  \
483                        $(ECHO) "";                                                                 
Note: See TracBrowser for help on using the repository browser.