diff options
Diffstat (limited to 'src/boost/tools/boostbook/dtd/1.1/boost-no-inspect')
-rw-r--r-- | src/boost/tools/boostbook/dtd/1.1/boost-no-inspect | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/boost/tools/boostbook/dtd/1.1/boost-no-inspect b/src/boost/tools/boostbook/dtd/1.1/boost-no-inspect new file mode 100644 index 000000000..37dfd21c3 --- /dev/null +++ b/src/boost/tools/boostbook/dtd/1.1/boost-no-inspect @@ -0,0 +1,4 @@ +Inspect complains that this directory is called '1.1', but that's the +standard naming style for DTDs, and this needs to match the url of the +DTD on the website. Any platform which has problems with this domain +name probably won't be able to build the documentation anyway.
\ No newline at end of file |