1. OpenSearch plugin for inapp

    How to add an OpenSearch to your website

    OpenSearch is a standard way to make a webbrowser know that your page is actually a search engine. Mozilla [1] and Microsoft [2] explain you how to do it, but a quicker tutorial is found there [3].

    My own OpenSearch configuration file …

    read more
  2. HTML man pages

    Many websites host HTML rendering of man pages. How to make them yourself?

    Stackoverflow always has an answer for those questions [1].

    A tool without many dependencies is mandoc [2], and of course, it has its mandatory HTML man page there [3].

    ./configure
    make
    ./mandoc -Thtml -Ostyle=mandoc.css ../man-pages-4 …
    read more
  3. Get the documentation of gcc command-line arguments

    gcc has an extensive documentation [1] in the texinfo format (.texi file extention). texinfo [2] can be converted into many different output formats, such as HTML, PDF, ...and generic XML.

    I would like to write a quick-and-dirty script to extract the description of each command-line argument of gcc. I could …

    read more

« Page 2 / 2