[Add a version to the web pages, including to the .css and .js files (make them auto reload) Neil Mitchell**20110116193905] { hunk ./CHANGES.txt 3 + Add ?version=xxx to .css and .js, to make it auto refresh hunk ./src/Web/Page.hs 6 +import qualified Paths_hoogle(version) +import Data.Version(showVersion) + + +version = showVersion Paths_hoogle.version hunk ./src/Web/Page.hs 23 - ," " + ," " hunk ./src/Web/Page.hs 28 - ," " + ," " hunk ./src/Web/Page.hs 58 - ,"
" + ," " }