summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorMichael Paquier2012-05-18 21:37:03 +0000
committerMichael Paquier2012-05-18 21:45:08 +0000
commite8461c7373f1631a3549a78dfb50b181fca92aeb (patch)
treec4fae694ccb54aa4621da41fb590d707171c49e9 /src
parent391d85e8cb7cb36ca395d79a95511c4fb2aaceae (diff)
Fix make world for vpath installation
The command makesgml, necessary to transform sgmlin files to sgml files, was not built prior to documentation build. sgml files are now ignored in doc folder.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions