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

Last change on this file since 53 was 53, checked in by rosiere, 17 years ago
  • Banc de registre multi banc
  • Banc de registre générique.
File size: 20.0 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                        $(LATEX_WITH_ENV) $< > /dev/null;                                                       \
111                        citation=`$(GREP) "citation" $*.aux`;                                                   \
112                         if $(TEST) -n "$$citation" ; then                                                      \
113                          $(BIBTEX) $* ;                                                                        \
114                        fi;                                                                                     \
115                        $(LATEX_WITH_ENV) $< > /dev/null;                                                       \
116                        $(LATEX_WITH_ENV) $< > /dev/null;
117
118#--------------------------------------------------------------------------------
119# New - Delete - Rename
120#--------------------------------------------------------------------------------
121new                     :
122                        @                                                                                       \
123                        $(ECHO) "";                                                                             \
124                        $(ECHO) "Choose a type of a document    : (0 is default)";                              \
125                        CPT=0;                                                                                  \
126                        declare -a type_doc=$(TYPE_DOC);                                                        \
127                        for type in $${type_doc[@]}; do                                                         \
128                                $(ECHO) "$$CPT) $$type";                                                        \
129                                CPT=$$(($$CPT+1));                                                              \
130                        done;                                                                                   \
131                        declare -i NUM_TYPE;                                                                    \
132                        $(READ) NUM_TYPE;                                                                       \
133                                                                                                                \
134                        if $(TEST) "$$NUM_TYPE" -ge "$$CPT"; then                                               \
135                                NUM_TYPE=0;                                                                     \
136                        fi;                                                                                     \
137                        declare    TYPE=$${type_doc[$$NUM_TYPE]};                                               \
138                                                                                                                \
139                        declare    FILENAME;                                                                    \
140                        $(ECHO) "";                                                                             \
141                        $(ECHO) "Give the name of the documents :";                                             \
142                        $(READ) FILENAME;                                                                       \
143                                                                                                                \
144                        if $(TEST) -z "$$FILENAME" -o -d "$(DIR_TYPE)/$$FILENAME.type";                         \
145                        then                                                                                    \
146                                $(ECHO) "Invalid name : string is empty, or filename is already used";          \
147                                $(EXIT);                                                                        \
148                        fi;                                                                                     \
149                                                                                                                \
150                        $(ECHO) "Create file      : $(DIR_LANGUAGE)/$$FILENAME.lang";                           \
151                        $(ECHO) "                   (Default language : $(DEFAULT_LANG))";                      \
152                        $(ECHO) "$(DEFAULT_LANG)" > $(DIR_LANGUAGE)/$$FILENAME.lang;                            \
153                                                                                                                \
154                        $(ECHO) "Create file      : $(DIR_TYPE)/$$FILENAME.type";                               \
155                        $(ECHO) $$TYPE > $(DIR_TYPE)/$$FILENAME.type;                                           \
156                                                                                                                \
157                        $(ECHO) "Create file      : $(DIR_PACKAGE)/$$FILENAME.sty";                             \
158                        $(CP) $(DIR_INCLUDE)/$$TYPE-$(FILE_SOURCE_STY) $(DIR_PACKAGE)/$$FILENAME.sty;           \
159                                                                                                                \
160                        $(ECHO) "Create file      : $(DIR_PACKAGE)/$$FILENAME.tex";                             \
161                        $(CP) $(DIR_INCLUDE)/$$TYPE-$(FILE_SOURCE_TEX) $(DIR_PACKAGE)/$$FILENAME.tex;           \
162                                                                                                                \
163                        $(ECHO) "Create directory : $(DIR_DOCUMENTS)/$$FILENAME";                               \
164                        $(ECHO) "Create directory : $(DIR_DOCUMENTS)/$$FILENAME/common";                        \
165                        $(ECHO) "Create directory : $(DIR_DOCUMENTS)/$$FILENAME/$(DEFAULT_LANG)";               \
166                        $(MKDIR) $(DIR_DOCUMENTS)/$$FILENAME/common;                                            \
167                        $(MKDIR) $(DIR_DOCUMENTS)/$$FILENAME/$(DEFAULT_LANG);                                   \
168                                                                                                                \
169                        $(ECHO) "Create link      : $(DIR_LINK)/$$FILENAME-$(DEFAULT_LANG)";                    \
170                        $(LINK_SYMBOLIC) $(DIR_DOCUMENTS)/$$FILENAME/$(DEFAULT_LANG) $(DIR_LINK)/$$FILENAME-$(DEFAULT_LANG); \
171                                                                                                                \
172                        $(ECHO) "Create file      : $(DIR_DOCUMENTS)/$$FILENAME/$(DEFAULT_LANG)/root.tex";      \
173                        $(TOUCH) $(DIR_DOCUMENTS)/$$FILENAME/$(DEFAULT_LANG)/root.tex
174
175delete                  :
176                        @                                                                                       \
177                        declare -a FILES;                                                                       \
178                        declare -i CPT;                                                                         \
179                        declare -i NUM_FILE;                                                                    \
180                        declare -i NUM_FILE_CONFIRM;                                                            \
181                                                                                                                \
182                        $(ECHO) "";                                                                             \
183                        $(ECHO) "Choose a document  : (0 by default)";                                          \
184                        $(ECHO) "0) ( none )";                                                                  \
185                                                                                                                \
186                        CPT=1;                                                                                  \
187                        for files in $(ALL_FILES); do                                                           \
188                                files=`$(BASENAME) $$files .type`;                                              \
189                                $(ECHO) "$$CPT) $$files";                                                       \
190                                FILES[$$CPT]=$$files;                                                           \
191                                CPT=$$(($$CPT+1));                                                              \
192                        done;                                                                                   \
193                        $(READ) NUM_FILE;                                                                       \
194                                                                                                                \
195                        if $(TEST) "$$NUM_FILE" -ge "$$CPT"; then                                               \
196                                NUM_FILE=0;                                                                     \
197                        fi;                                                                                     \
198                                                                                                                \
199                        $(ECHO) "Please reenter the document id to confirm the delete";                         \
200                        $(READ) NUM_FILE_CONFIRM;                                                               \
201                                                                                                                \
202                        if $(TEST) "$$NUM_FILE" -eq "0" -o "$$NUM_FILE" -ne "$$NUM_FILE_CONFIRM"; then          \
203                                $(ECHO) "Delete cancelled";                                                     \
204                                $(EXIT);                                                                        \
205                        fi;                                                                                     \
206                                                                                                                \
207                        declare    FILENAME;                                                                    \
208                        FILENAME=$${FILES[$$NUM_FILE]};                                                         \
209                                                                                                                \
210                        $(ECHO) "Delete file      : $(DIR_TYPE)/$$FILENAME.type";                               \
211                        $(RM) $(DIR_TYPE)/$$FILENAME.type;                                                      \
212                                                                                                                \
213                        $(ECHO) "Delete file      : $(DIR_LANGUAGE)/$$FILENAME.lang";                           \
214                        $(RM) $(DIR_LANGUAGE)/$$FILENAME.lang;                                                  \
215                                                                                                                \
216                        $(ECHO) "Delete file      : $(DIR_PACKAGE)/$$FILENAME.sty";                             \
217                        $(RM) $(DIR_PACKAGE)/$$FILENAME.sty;                                                    \
218                                                                                                                \
219                        $(ECHO) "Delete file      : $(DIR_PACKAGE)/$$FILENAME.tex";                             \
220                        $(RM) $(DIR_PACKAGE)/$$FILENAME.tex;                                                    \
221                                                                                                                \
222                        $(ECHO) "Delete directory : $(DIR_DOCUMENTS)/$$FILENAME";                               \
223                        $(RM) $(DIR_DOCUMENTS)/$$FILENAME;                                                      \
224                        $(ECHO) "Delete link      : $(DIR_DOCUMENTS)/$$FILENAME";                               \
225                        $(RM) $(DIR_LINK)/$$FILENAME-*;
226
227rename                  :
228                        @                                                                                       \
229                        declare -a FILES;                                                                       \
230                        declare -i CPT;                                                                         \
231                        declare -i NUM_FILE;                                                                    \
232                                                                                                                \
233                        $(ECHO) "";                                                                             \
234                        $(ECHO) "Choose a document  : (0 by default)";                                          \
235                        $(ECHO) "0) ( none )";                                                                  \
236                                                                                                                \
237                        CPT=1;                                                                                  \
238                        for files in $(ALL_FILES); do                                                           \
239                                files=`$(BASENAME) $$files .type`;                                              \
240                                $(ECHO) "$$CPT) $$files";                                                       \
241                                FILES[$$CPT]=$$files;                                                           \
242                                CPT=$$(($$CPT+1));                                                              \
243                        done;                                                                                   \
244                        $(READ) NUM_FILE;                                                                       \
245                                                                                                                \
246                        if $(TEST) "$$NUM_FILE" -ge "$$CPT"; then                                               \
247                                NUM_FILE=0;                                                                     \
248                        fi;                                                                                     \
249                                                                                                                \
250                        if $(TEST) "$$NUM_FILE" -eq "0"; then                                                   \
251                                $(ECHO) "Rename cancelled";                                                     \
252                                $(EXIT);                                                                        \
253                        fi;                                                                                     \
254                                                                                                                \
255                        declare    FILENAME_SRC;                                                                \
256                        declare    FILENAME_DEST;                                                               \
257                        FILENAME_SRC=$${FILES[$$NUM_FILE]};                                                     \
258                                                                                                                \
259                        $(ECHO) "Give the new name of the documents :";                                         \
260                        $(READ) FILENAME_DEST;                                                                  \
261                                                                                                                \
262                        if $(TEST) -z "$$FILENAME_DEST" -o -d "$(DIR_TYPE)/$$FILENAME_DEST.type";               \
263                        then                                                                                    \
264                                $(ECHO) "Invalid name : string is empty, or filename is already used";          \
265                                $(EXIT);                                                                        \
266                        fi;                                                                                     \
267                                                                                                                \
268                        $(ECHO) "Rename file      : $(DIR_LANGUAGE)/$$FILENAME_SRC.lang";                       \
269                        $(MV) $(DIR_LANGUAGE)/$$FILENAME_SRC.lang $(DIR_LANGUAGE)/$$FILENAME_DEST.lang;         \
270                                                                                                                \
271                        $(ECHO) "Rename file      : $(DIR_TYPE)/$$FILENAME_SRC.type";                           \
272                        $(MV) $(DIR_TYPE)/$$FILENAME_SRC.type     $(DIR_TYPE)/$$FILENAME_DEST.type;             \
273                                                                                                                \
274                        $(ECHO) "Rename file      : $(DIR_PACKAGE)/$$FILENAME_SRC.sty";                         \
275                        $(MV) $(DIR_PACKAGE)/$$FILENAME_SRC.sty   $(DIR_PACKAGE)/$$FILENAME_DEST.sty;           \
276                                                                                                                \
277                        $(ECHO) "Rename directory : $(DIR_DOCUMENTS)/$$FILENAME_SRC";                           \
278                        $(MV) $(DIR_DOCUMENTS)/$$FILENAME_SRC     $(DIR_DOCUMENTS)/$$FILENAME_DEST;             \
279                        $(ECHO) "Rename link      : manually please";
280
281
282
283#--------------------------------------------------------------------------------
284# View
285#--------------------------------------------------------------------------------
286view                    : doc
287                        @                                                                                       \
288                        declare    SELECT_FILE;                                                                 \
289                        declare    SELECT_LANG;                                                                 \
290                        declare    SELECT_FORMAT;                                                               \
291                        declare    SELECT_VIEWER;                                                               \
292                                                                                                                \
293                                                                                                                \
294                        $(ECHO) "";                                                                             \
295                        $(ECHO) "Choose a document  : (0 by default)";                                          \
296                                                                                                                \
297                        declare -i CPT;                                                                         \
298                        declare -i NUM_FILE;                                                                    \
299                        declare -a FILES;                                                                       \
300                                                                                                                \
301                        CPT=0;                                                                                  \
302                        for files in $(ALL_FILES); do                                                           \
303                                files=`$(BASENAME) $$files .type`;                                              \
304                                type=`$(CAT) $(DIR_TYPE)/$$files.type`;                                         \
305                                $(ECHO) "$$CPT) $$type - $$files";                                              \
306                                FILES[$$CPT]=$$files;                                                           \
307                                CPT=$$(($$CPT+1));                                                              \
308                        done;                                                                                   \
309                        $(READ) NUM_FILE;                                                                       \
310                                                                                                                \
311                        if $(TEST) "$$NUM_FILE" -ge "$$CPT"; then                                               \
312                                NUM_FILE=0;                                                                     \
313                        fi;                                                                                     \
314                                                                                                                \
315                        SELECT_FILE=$${FILES[$$NUM_FILE]};                                                      \
316                        $(ECHO) "Document selected  : $$SELECT_FILE";                                           \
317                        $(ECHO) "";                                                                             \
318                                                                                                                \
319                                                                                                                \
320                                                                                                                \
321                        $(ECHO) "Choose a language  : (0 by default)";                                          \
322                                                                                                                \
323                        declare -i NUM_LANG;                                                                    \
324                        declare -a LANG;                                                                        \
325                                                                                                                \
326                        CPT=0;                                                                                  \
327                        for lang in `$(CAT) $(DIR_LANGUAGE)/$$SELECT_FILE.lang`; do                             \
328                                $(ECHO) "$$CPT) $$lang";                                                        \
329                                LANG[$$CPT]=$$lang;                                                             \
330                                CPT=$$(($$CPT+1));                                                              \
331                        done;                                                                                   \
332                        $(READ) NUM_LANG;                                                                       \
333                                                                                                                \
334                        if $(TEST) "$$NUM_LANG" -ge "$$CPT"; then                                               \
335                                NUM_LANG=0;                                                                     \
336                        fi;                                                                                     \
337                                                                                                                \
338                        SELECT_LANG=$${LANG[$$NUM_LANG]};                                                       \
339                        $(ECHO) "Language selected  : $$SELECT_LANG";                                           \
340                        $(ECHO) "";                                                                             \
341                                                                                                                \
342                                                                                                                \
343                                                                                                                \
344                        $(ECHO) "Choose a format    : (0 by default)";                                          \
345                                                                                                                \
346                        declare -i NUM_FORMAT;                                                                  \
347                        declare -a FORMAT;                                                                      \
348                        declare -a VIEWER;                                                                      \
349                                                                                                                \
350                        FORMAT=("pdf"         "pdf"      "ps"     "dvi");                                       \
351                        VIEWER=($(VIEWPDF_FS) $(VIEWPDF) $(VIEWPS) $(VIEWDVI));                                 \
352                                                                                                                \
353                        CPT=0;                                                                                  \
354                        while [ $$CPT -lt $${#FORMAT[*]} ]; do                                                  \
355                            $(ECHO) "$$CPT) $${FORMAT[$$CPT]} ($${VIEWER[$$CPT]})";                             \
356                            CPT=$$(($$CPT+1));                                                                  \
357                        done;                                                                                   \
358                        $(READ) NUM_FORMAT;                                                                     \
359                                                                                                                \
360                        if $(TEST) "$$NUM_FORMAT" -ge "$$CPT"; then                                             \
361                                NUM_FORMAT=0;                                                                   \
362                        fi;                                                                                     \
363                                                                                                                \
364                        SELECT_FORMAT=$${FORMAT[$$NUM_FORMAT]};                                                 \
365                        SELECT_VIEWER=$${VIEWER[$$NUM_FORMAT]};                                                 \
366                        $(ECHO) "Format selected    : $$SELECT_FORMAT";                                         \
367                        $(ECHO) "";                                                                             \
368                                                                                                                \
369                                                                                                                \
370                                                                                                                \
371                        $$SELECT_VIEWER "$$SELECT_FILE-$$SELECT_LANG.$$SELECT_FORMAT" &                         \
372                                                                                                                \
373                        $(ECHO) "";
374
375#--------------------------------------------------------------------------------
376# The figures directory
377#--------------------------------------------------------------------------------
378$(DIR_SCHEMA_EPS)       :
379                        @\
380                        $(ECHO) "Make directory       : $@";                                                    \
381                        $(MKDIR) $@;
382
383$(DIR_SCHEMA_PNG)       :
384                        @\
385                        $(ECHO) "Make directory       : $@";                                                    \
386                        $(MKDIR) $@;
387
388$(DIR_TEX)              :
389                        @\
390                        $(ECHO) "Make directory       : $@";                                                    \
391                        $(MKDIR) $@;
392
393$(DIR_SCHEMA_PNG)/%.png : $(DIR_SCHEMA_EPS)/%.eps $(DIR_SCHEMA_PNG)
394                        @\
395                        $(ECHO) "Generate   files     : $*.png";                                                \
396                        $(EPS2PNG) $< $@;
397
398$(DIR_SCHEMA_EPS)/%.eps : $(DIR_SCHEMA)/%.eps $(DIR_SCHEMA_EPS)
399                        @\
400                        $(ECHO) "Generate   files     : $*.eps";                                                \
401                        $(CP) $(DIR_SCHEMA)/$*.eps $(DIR_SCHEMA_EPS);
402
403$(DIR_SCHEMA_EPS)/%.eps : $(DIR_SCHEMA)/%.fig $(DIR_SCHEMA_EPS)
404                        @\
405                        $(ECHO) "Generate   files     : $*.eps";                                                \
406                        $(FIG2EPS) $< $@;
407
408$(DIR_SCHEMA_EPS)/%.eps : $(DIR_GRAPH)/%.p    $(DIR_SCHEMA_EPS)
409                        @\
410                        $(ECHO) "Generate   files     : $*.eps";                                                \
411                        $(CD) $(DIR_GRAPH); $(GNUPLOT) $*.p;
412
413#--------------------------------------------------------------------------------
414# Cleaning
415#--------------------------------------------------------------------------------
416
417clean                   :
418                        @\
419                        $(ECHO) "Delete     temporary files              "$(PWD);                               \
420                        $(RM) $(DIR_SCHEMA_EPS) $(DIR_SCHEMA_PNG)  $(DIR_TEX) $(DIR_PACKAGE)/*.aux;             \
421                        $(RM) $(DVI_FILES) $(PS_FILES) $(PDF_FILES);                                            \
422                        $(MAKE) clean_rec DIR_CLEAN=;
423
424#Clean recursive
425clean_rec               :
426                        @\
427                        $(ECHO) "Delete     temporary files in directory $(DIR_CLEAN)";                         \
428                        $(RM)   $(DIR_CLEAN)/*~                 \
429                                $(DIR_CLEAN)/*.bak              \
430                                $(DIR_CLEAN)/*.aux              \
431                                $(DIR_CLEAN)/*.bbl              \
432                                $(DIR_CLEAN)/*.blg              \
433                                $(DIR_CLEAN)/*.bmt              \
434                                $(DIR_CLEAN)/*.log              \
435                                $(DIR_CLEAN)/*.mtc*             \
436                                $(DIR_CLEAN)/*.toc              \
437                                $(DIR_CLEAN)/*.idx              \
438                                $(DIR_CLEAN)/*.ilg              \
439                                $(DIR_CLEAN)/*.ind              \
440                                $(DIR_CLEAN)/*.out              \
441                                $(DIR_CLEAN)/*.nav              \
442                                $(DIR_CLEAN)/*.snm              \
443                                $(DIR_CLEAN)/missfont.log;      \
444                        for files in `$(LS) $(DIR_CLEAN)`; do                                                   \
445                                if $(TEST) -d $(DIR_CLEAN)/$$files;                                             \
446                                then                                                                            \
447                                        $(MAKE) clean_rec DIR_CLEAN=$(DIR_CLEAN)/$$files;                       \
448                                fi;                                                                             \
449                        done;
450
451clean_all               : clean
452                        @\
453                        $(ECHO) "Delete     temporary files (all)";                                             \
454                        $(RM) $(DIR_DOCUMENTATION)/*.pdf;
455
456#--------------------------------------------------------------------------------
457# Help
458#--------------------------------------------------------------------------------
459
460help                    :
461                        @\
462                        $(ECHO) "Environnement to generate documents and presentations";                        \
463                        $(ECHO) "Version         : $(VERSION)";                                                 \
464                        $(ECHO) "";                                                                             \
465                        $(ECHO) "List of rules   :";                                                            \
466                        $(ECHO) " * all          : Cf rules \"help\"";                                          \
467                        $(ECHO) " * clean        : Erase generate files";                                       \
468                        $(ECHO) " * clean_all    : Erase all generate files";                                   \
469                        $(ECHO) " * delete       : Erase all file and directory of a document";                 \
470                        $(ECHO) " * doc          : Generate all documents";                                     \
471                        $(ECHO) " * help         : Print this message";                                         \
472                        $(ECHO) " * new          : Create all file and directy for a new document";             \
473                        $(ECHO) " * rename       : Rename a document";                                          \
474                        $(ECHO) " * view         : List all document to view";                                  \
475                        $(ECHO) "";                                                                 
Note: See TracBrowser for help on using the repository browser.