diff options
| author | Michael Paquier | 2012-05-18 21:37:03 +0000 |
|---|---|---|
| committer | Michael Paquier | 2012-05-18 21:45:08 +0000 |
| commit | e8461c7373f1631a3549a78dfb50b181fca92aeb (patch) | |
| tree | c4fae694ccb54aa4621da41fb590d707171c49e9 /src | |
| parent | 391d85e8cb7cb36ca395d79a95511c4fb2aaceae (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