I've just realized that the issue has more its place as a Github pull request. I'll do that tomorrow if I have time to but my questions are still opened.
Best regards, Joseph On Thursday, February 6, 2014 7:35:42 PM UTC+1, Joseph Herlant wrote: > > Dear all, > > *Context:* > > I (and other people, for example: http://bugs.debian.org/656736) had the > issue of the modification of the "Last updated" field at the bottom of the > generated page that gives the modification date of the page (not the > revision date) when you use asciidoc to generate HTML pages. > > For example, I'm using a central git repo for the text pages and generate > the html pages using a batch. When you update repo that is used for the > batch it can be at another date than the date of the revision, so the "Last > updated" field at the end of the page can be confusing. > > *My proposition:* > > I've made a little patch *for the english version only* and opened an > issue on the google repo, but I'm not sure it's the right place to do this. > Here's the url of the issue: > https://code.google.com/p/asciidoc/issues/detail?id=29 > > What I did in the patch is I used a new standard attribute named > "footer-style" (you can change it if you want!) that could take 3 values: > - *default* :or not defined, same as currently) > - *none* : not displaying the footer-text section > - *revdate* : displays the revision date instead of the source file > modification date > Any other value will display only the version number from the footer-text > section(if defined). > > *My questions:* > > Would this feature be useful for someone else? > Do you think it's a good idea to include it in the official version? > > Thanks in advance, > Joseph > > > -- You received this message because you are subscribed to the Google Groups "asciidoc" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/asciidoc. For more options, visit https://groups.google.com/groups/opt_out.
