]> git.immae.eu Git - perso/Immae/Projets/Scripts/Public.git/blob - gen_html_documents.rc.example
Update save-gif script
[perso/Immae/Projets/Scripts/Public.git] / gen_html_documents.rc.example
1 # Dossiers à afficher
2 dossiers = "notes", "Notes extérieures",\
3 "exposes", "Exposés récupérés",\
4 "ENS", "Les cours que j'ai suivis à l'ENS",\
5 "mp", "Les feuilles d'exercices que j'ai eues en mp",\
6 "mpsi", "Les feuilles d'exercices que j'ai eues en mpsi",\
7 "terminale_S", "Les feuilles d'exercices de terminale"
8
9 # Chemin local des documents
10 documents = ~/documents/
11
12 #dossier web ou sont les documents
13 dossier_web = /~bouya/pro/auth/docs_scolaires/
14
15 # Dossiers ignorés
16 ignore = imprime
17 # Extensions affichées
18 ext = .pdf, .odt, .ods, .m, .zip,\
19 .gz, .gif, .edp, .gnu, .gp,\
20 .eps, .png, .mat, .mw, .mpl
21
22 #fichier d'en-tete, message préambule, fichier genere et fichier de bas de page
23 entete = ~/WWW/pro/haut.inc
24 avant = ~/WWW/pro/docs_scolaires_avant.inc
25 milieu = ~/WWW/pro/docs_scolaires.inc
26 apres = ~/WWW/pro/bas.inc
27
28 #fichier html cree en concatenant les quatre precedents
29 html = ~/WWW/pro/docs_scolaires.html
30