diff options
author | Andrius Merkys <andrius.merkys@gmail.com> | 2018-11-23 06:47:23 -0500 |
---|---|---|
committer | Andrius Merkys <andrius.merkys@gmail.com> | 2018-11-23 06:47:23 -0500 |
commit | 7d153f55991c24037e1330de603478d8760cd7c5 (patch) | |
tree | cadc685242f26c980827bece0e63bce935bedc6c | |
parent | 1482ba116f221a5f8d65a2462e4a92acd97088d4 (diff) |
Replacing embedded JavaScript code with symlinks.
-rw-r--r-- | debian/antlr4-doc.links | 5 | ||||
-rwxr-xr-x | debian/rules | 6 |
2 files changed, 11 insertions, 0 deletions
diff --git a/debian/antlr4-doc.links b/debian/antlr4-doc.links new file mode 100644 index 0000000..687249a --- /dev/null +++ b/debian/antlr4-doc.links @@ -0,0 +1,5 @@ +usr/share/javascript/jquery/jquery.js usr/share/doc/antlr4/api/jquery/external/jquery/jquery.js +usr/share/javascript/jquery-ui/themes/base/jquery-ui.css usr/share/doc/antlr4/api/jquery/jquery-ui.css +usr/share/javascript/jquery-ui/jquery-ui.js usr/share/doc/antlr4/api/jquery/jquery-ui.js +usr/share/javascript/jquery-ui/themes/base/jquery-ui.min.css usr/share/doc/antlr4/api/jquery/jquery-ui.min.css +usr/share/javascript/jquery-ui/jquery-ui.min.js usr/share/doc/antlr4/api/jquery/jquery-ui.min.js diff --git a/debian/rules b/debian/rules index 70f5112..114acd0 100755 --- a/debian/rules +++ b/debian/rules @@ -10,6 +10,12 @@ override_dh_auto_build: cp -r debian/generated-sources/antlr4/* runtime/Java/src/ dh_auto_build +override_dh_install: + dh_install + cut -d ' ' -f 2 debian/antlr4-doc.links | xargs -i rm debian/antlr4-doc/{} + ln -fs ../../../../javascript/jquery/jquery.js \ + debian/antlr4-doc/usr/share/doc/antlr4/api/jquery/jquery-?.* + override_dh_auto_clean: dh_auto_clean |