Update save-gif script

[perso/Immae/Projets/Scripts/Public.git] / gen_html_documents.rc.example

# Dossiers à afficher
dossiers = "notes", "Notes extérieures",\
    "exposes", "Exposés récupérés",\
    "ENS", "Les cours que j'ai suivis à l'ENS",\
    "mp", "Les feuilles d'exercices que j'ai eues en mp",\
    "mpsi", "Les feuilles d'exercices que j'ai eues en mpsi",\
    "terminale_S", "Les feuilles d'exercices de terminale"

# Chemin local des documents
documents = ~/documents/

#dossier web ou sont les documents
dossier_web = /~bouya/pro/auth/docs_scolaires/

# Dossiers ignorés
ignore = imprime
# Extensions affichées
ext = .pdf, .odt, .ods, .m,   .zip,\
      .gz,  .gif, .edp, .gnu, .gp,\
      .eps, .png, .mat, .mw,  .mpl

#fichier d'en-tete, message préambule, fichier genere et fichier de bas de page
entete = ~/WWW/pro/haut.inc
avant  = ~/WWW/pro/docs_scolaires_avant.inc
milieu = ~/WWW/pro/docs_scolaires.inc
apres  = ~/WWW/pro/bas.inc

#fichier html cree en concatenant les quatre precedents
html = ~/WWW/pro/docs_scolaires.html